(0,0,5,11,0,0)(0,0,5,11,0,0)(0,0,5,11,0,0) から複合操作を5回行う。非零の組は (5,11)→(4,211)→(3,2211)→(2,22211)→(1,222211)→(0,A)(5,11)\to(4,2^{11})\to(3,2^{2^{11}})\to(2,2^{2^{2^{11}}})\to(1,2^{2^{2^{2^{11}}}})\to(0,A)(5,11)→(4,211)→(3,2211)→(2,22211)→(1,222211)→(0,A) と推移し、A=2222211A=2^{2^{2^{2^{2^{11}}}}}A=2222211 である。大きさを比較するため、2010<2112010<2^{11}2010<211 より 201020102010<211⋅211⋅2112010^{2010^{2010}}<2^{11\cdot2^{11\cdot2^{11}}}201020102010<211⋅211⋅211。一方 22211>11⋅211⋅2112^{2^{2^{11}}}>11\cdot2^{11\cdot2^{11}}22211>11⋅211⋅211 なので、A>201020102010A>2010^{2010^{2010}}A>201020102010、特に示した不等式が成り立つ。(より強い不等式でも問題ない。)