multiply(a,b) <= a*b