ボールウェイン積分（Borwein integral）という美しい公式とその証明を解説。