User blog comment:Kyodaisuu/My ordinal is bigger!/@comment-5029411-20140920202240/@comment-5029411-20140920223425

LittlePeng9, read this rule:

It should smaller than \(\omega^{CK}_1\)