ケプラー予想

１７世紀初頭、大科学者ケプラーは、「同一の球を最も効率よく三次元空間に詰め込む方法は、果物屋のオレンジの積み方と同じ」という予想を立てた。が、一見簡単に見えるこの命題の証明にかかった年月は実に４００年。「フェルマーの最終定理」に並ぶ超難問として知られ、２０世紀末に天才数学者ヘールズがコンピューターを駆使して最終証明を果たした問題を巡る感動のノンフィクション。