暇だったので Goodstein sequence のG(5)を計算
(初項を0としたため、[項数]=[その項での遺伝的表記の底]-2となる)

G(5)=b(B(BB(3)))-2

ここで、
BB(n+1) = BB(n) + B(BB(n)) + 1
BB(0) = 3

B(n+1) = B(n) + b(B(n)) + 1
B(0) = 3

b(n+1) = 2 * b(n) + 1
b(0) = 7