User blog comment:Sait2000/Base-k Arrow Notation/@comment-10429372-20141216163525/@comment-10429372-20141216171906

I'm not really sure. (that's why I said 'I believe') But this has been discussed on the talk page of goodstein sequence.