m(n)の定義は、n=1のf(x)=x^x と n=2のg(x) → g^x(x) は
簡単なんですね。問題は n=3 以降なのです。

734はm(3)を着想したもので（形は若干異なりますが）、
739はm(3)がうまく定義できないのでないの？という趣旨の
書き込みでした。それに対して、m(3)が定義可能であることを
744で示して、それを受けて739氏が一般のnに対するm(n)を
構成した746で、ようやくF5の形が見えました。