P
Initializing...
The Komlos-Sulyok-Szemeredi bound: a Sidon subset of size $c\sqrt{|X|}$ · Prove2Me