User blog comment:P進大好きbot/What is the greatest ordinal notation now?/@comment-35870936-20180623152451/@comment-35470197-20180624103504

@LittlePeng9

I see. Thank you very much again!