I think natural numbers are implied when talking about smallest. Otherwise one could give a trivial example that's 'smaller': -1729.

## I think natural numbers are

I think natural numbers are implied when talking about smallest. Otherwise one could give a trivial example that's 'smaller': -1729.