/**
* Returns a `Rational` whose denominator and numerator are no larger than
* `max` and whose value is close to the original. This applies, even if, for
* example, this `Rational` is greater than `max`. In that case,
* `Rational(max, 1)` is returned.
*
* @param max A positive integer.
*/