User blog comment:Vel!/Laver.c/@comment-5150073-20140822085835

How long we should extend normal large number notations to reach the level of q(k)?