max

The maximum value a PositiveInt can have.