Claims

../

1948_10_30_erdos_gal: Erdős and Gál's 1948 theorem that F(N)/sqrt(N) converges, answering Rédei's question; a slip in the printed covering step, shared by the existence argument, is recorded; the identification of the limit with an infimum and the numerical bounds are not covered.

1956_04_01_leech: Leech's 1956 sharpening of the Rédei–Rényi argument, giving lim F(N)/sqrt(N) at least 1.5602..., the lower bound the site credits; Bernshteyn and Tait later showed the bound is not sharp.

1963_01_01_wichmann: Wichmann's 1963 family of restricted difference bases, 4r+s+3 marks for length 4r(r+s+2)+3(s+1), giving lim F(N)/sqrt(N) at most sqrt(3), the upper bound the site credits and the value its computations suggest.

---