y-x is greater than or equal to 4

y-x is greater than or equal to 4