普通に C とかで計算すると 0 になるのだが、double の精度の問題でいまいち本当かどうかわからない。
ほぼ 0 になるのはイメージどおりなのだが証明にはならないのだ。
かといって、精度を保ってやろうと思うとケタ数がケタ数だけに、計算が (主に資源的な問題で) 大変であることがわかった。
皆さんにいろいろと知恵をいただきながらゴリゴリしているうちにgotom せんせいに log つかって求めるという技を発明してもらい、さくっと証明できた。
みなさまありがとうございました。 m(__)m
* nakanot さんからの指摘
をうけて s/確立/確率/