Prove or disprove: if x and y are real numbers with y ≥ 0 and y(y+1) ≤ (x+1)^2,
then y(y − 1) ≤ x^2.