P
Initializing...
Erdős #142 (`variants.lower`): $r_k(N) = o_k(N/\log N)$ · Prove2Me