min

The minimum value of a PositiveInt.