User blog comment:Alejandro Magno/My ordinal is smaller Remake/@comment-10429372-20141013161913

The largest ordinal that is member of w1CK[n] and smaller than psi(psi_chi(M_M_w)(0))