User blog comment:Wythagoras/All my stuff/@comment-10429372-20130715145943/@comment-5150073-20130715151352

We don't know whether the function with order type omega_1 even can exists (I thought that can't but our experts wrote that it my guess is probably wrong).

Iota function isn't the limit of human thinking: I^n(n) grows faster.