> 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 o

> 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.