数学は使っていいの?球充填の公式を応用したり?それともそこから証明?