P
Initializing...
Leng–Sah–Sawhney (2024): $r_k(N) \ll N e^{-(\log\log N)^{c_k}}$ for $k \ge 5$ · Prove2Me