P

Initializing...

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