P
Initializing...
The cube-root bound: a Sidon subset of size $c|X|^{1/3}$ · Prove2Me