User Portlet

In Wolfram Language 12 or later, you can also use PositiveIntegers, i.e., Element[n, PositiveIntegers]. https://reference.wolfram.com/language/ref/PositiveIntegers.html