User blog comment:Ubersketch/Ordinals with transfinite FS expansions/@comment-35470197-20190701222433/@comment-35470197-20190702091810

＠Rgetar

I think that you wrote opposite inequalities.