[rolandhvar]

Dumb question, but how do you know it's smallest?

[underdeserver]

Not dumb at all, Alon Amit addressed it in the Quora post linked above.

https://www.quora.com/How-do-you-find-the-positive-integer-s...