P
Initializing...
Conte–Fujikawa–Lakic (2007): $K \le 4\frac{d-1}{d+1}$ · Prove2Me