P
Initializing...
Kunisky: the Komlós constant is at least $1+\sqrt{2}$ · Prove2Me