User blog comment:KthulhuHimself/Ordinal Arithmetic Notation (OAN)/@comment-34422464-20191112192546/@comment-38080588-20191112232814

(w^^w)^w is undeniably less than w^^(w+1) assuming w^^(w+1)>w^^w, for the same reason (w^^4)^w=w^(w*w^w^w)<w^^5.