User blog comment:Rgetar/Way of making lists of ordinals/@comment-24920136-20171122064315

If the list size is relative to the size of the ordinal, there is some ordinal up to and beyond for which the list is roughly size f_a