(<= (* a b) (* c d))