P

Initializing...

Crane (2007): $K < 4 - 2.263/\sqrt d$ for $d \ge 8$ · Prove2Me