Talk:Folkman's number

Saibian's LNL lists this number as 2^^^(2^901), and proves that this number is between greagol and G(1) = 3^^^^3. The proof is on here. -- I want more clouds! 13:44, February 9, 2013 (UTC)