>>78
まあ、訂正後の矛盾の導き方は、正規数を考えるとき、
>>67のΣでは実数体Rの代わりに、f(x)の次数nがd以下となる確率の値を取るような
実数全体の区間[0,1]を考え、Σ＝[0,1] とする。そして、発散するような有理数列 {a_n} と、
[0,1] の確率aに対してaに収束するような有理数の確率列 {b_n} を、それぞれ構成する。
あとは、w＞1 を実数として極限 lim_{n→+∞}N_S(w,n) を考えると、上と同様にして矛盾に導ける。