\lim_{n\to\infty}F(n,n)=12