プレゼント交換会
http://hp.vector.co.jp/authors/VA028375/miscellany/log.html#24 より。オリジナルは http://www.soken.ac.jp/quantum/imoto/index-j/essay/present.html
うーん富豪的。同じ処理では C でも終わらんのでは…
とりあえず式変形して、
を C にやらせてみると long double 的に収束した値が P(20)=0.3678794411714423216 とのこと。これに該当しそうな分数を C に探させても良さげなのが見つからない。全探索では P(10) 程度までしか調べられなかった。これは上式から求めた値に一致していた。
つまり何もできずに敗退しました。
解析的にも結構頭ひねりましたがいかんともすることができませんでした。情けなし。