コマネチ大学数学科でも登場した、充填問題。球を効率よく詰め込むにはどういう並べ方が一番よいか？ 約400年前、ケプラーは果物屋でのみかんの積み方が一番だと予想した。しかし、それが数学的に厳密に証明されたのは1998年のことだった…… 一応、証明された…