User blog comment:Alemagno12/How strong is this function? (2)/@comment-5529393-20171111024810/@comment-25601061-20171111142336

I didn't ask for the smallest possible value of the ordinal, but the largest possible value of the ordinal.