User blog comment:Vel!/Dave's Number/@comment-27173506-20160209140051/@comment-26428969-20160209225039

well, the Ackermann function is already over 9000 (its at omega, which is greater than all natural numbers)