P
Initializing...
Exact packing constant for n = 4 · Prove2Me