User blog comment:Kyodaisuu/A program of Kirby-Paris hydra/@comment-10429372-20140817154824

That are just 157 non-whitespace characters, so we have a lower bound C(157) >f_e_0+1(10). (Here is C(n) the largest number using C and n non-whitespace characters, like in Bignum Bakeoff.)

I hadn't expect that such bound would be proven, so tell them that it is great!