[math-fun] Packing complexity question