Recently I learned about a family of sequences of nonnegative integers (called Goodstein sequences) and two remarkable theorems about these sequences. Begin with any positive integer . This is the first term in the sequence. For example, suppose we begin with . The first step in computing the second term of the sequence, , is…