P
Initializing...
Erdős (1947): $R(k) > 2^{k/2}$ · Prove2Me