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

\(\omega_1^{CK}[Rayo(10\uparrow^{10}10)]\), which is an element of CK ordinal's fundamental sequence.