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

I guess that you are confounding sup_n ω^{1+n}[n] with sup_m ω^{1+n}[m].