P
Initializing...
Larman's bound $n\,2^{d-3}$ · Prove2Me