User blog comment:P進大好きbot/A larger orderinal does not necessarily correspond to a greater function through FGH/@comment-30279966-20200114121145/@comment-30279966-20200114150737

I'm not sure if we can define fundamental sequence like \(\omega^{1+n}[n] = n\). The supremum of \(n\) is \(\omega\), not \(\omega^{1+n}\). It is noticeable that definition of fundamental sequence itself is very important.