昨日深夜にヤマトがやっていたので勉強しながら台詞だけ聞いていたら、座標タイタンX45度Y60度Z30度って言ってて、思わず「お前は四次元を認識出来るのか！」って突っ込んでしまった。お兄さんのコスモガンを見つける回。

あぁ、そういう流れか。proverが証拠投げた時のverifierの健全性・完全性の話は分かった。前の段落で証明されているLemmaやらClaimが正しければだけど。 Hoeffding BoundってのはChernoff Boundの一般化らしい*1。 *1:チェルノフの不等式だと4件しか引っかか…