Claims

../

2025_12_18_araujo_filipe_miyazaki: Theorem 1.2 of Araujo, Filipe and Miyazaki (arXiv, 2025): if R(s,t) is at most R(k,k) whenever st is at most k^2, and log_2 R(k,k)/k tends to l, then f(n)/(n/(log_2 n)^2) tends to l^2; conditional on two unproved hypotheses.

---