P
Initializing...
The constant three in Erdős Problem 287 is best possible · Prove2Me