x*y >= x+y