User blog comment:Wythagoras/Coins in boxes/@comment-5029411-20130819234723

y(3) > x(6) > x(5)[5] > x(4)[4][5] > 3.41E64[4][5] > 3.41E64[3]^{3.41E64}[5] > (3.41E64^3.41E64)[3]^{3.41E64-1}[5] > ...