-2/2 <= (2 * (-2))/3 + 1/4