Why need `le = lambda x, y: x < y or abs(x-y) < eps`?

[yxchng]

If the function is smooth, shouldn't it not matter whether it is k or k+1 if it is at the boundary between k and k+1?