reply
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.
So no, it’s not unconditionally correct either.