a lessthan the product of x and y​