>895
左辺の考察はしないの?

左辺は、右辺よりも、y+0.5との差が大きくなります。