Hi, I have been trying to prove that Goodstein's function grows faster than Ackermann's, I can see that it is true because Goodstein's function outgrows Peano arithmetic but Ackermann's doesn't, however I don't really know how to prove it...
Please can anyone point me in the right direction?
Many thanks
Steph