User blog:Cloudy176/Goodstein sequence G(4)