Goodstein sequence

Goodstein sequences are sequences of numbers generated from a "hereditary base-n notation." Goodstein's theorem states that the numbers will reach a maximum value for any initial input, and then decrease until zero, although the numbers grow very fast for the later sequences.