User blog comment:KthulhuHimself/nth-level Graham's numbers/@comment-25601061-20151208204442/@comment-1605058-20151211143906

There is a proof that noGn exists for all n>0. It's a corollary to a theorem which I quote in my comment below (one just takes k=1,l=2 and r=n).