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

phi(phi(w,0),0) is bigger than phi(e(0),0)