P
Initializing...
Erdős–Turán / Lindström: $h(N)\le N^{1/2}+N^{1/4}+1$ · Prove2Me