Comment by kccqzy

> Assuming[x == 0, Simplify[Sin[x] == x]]

Mathematica returns True. And any middle schooler will also tell you it's true.

The only reasonable interpretation of "infinitely small" is that it's zero.