User blog comment:Ikosarakt1/Uncountable function cannot exists/@comment-10217029-20130713053129

What if you used the smallest ordinal with complexity n? Would that work?