User blog comment:Wythagoras/SuperJedi's X function/@comment-27173506-20151220171603/@comment-27173506-20151221061032

Ax = x^x

AAAAAA9

Here is a better bound for X(13). It is about 9^9^9^9^9^9^13