23/02/15 16:17:12.59 DE77win3.net
訂正します：
f : [0, 1] → R を
f(x) = 農{k=1}^{∞} f_k(x)/2^k
で定義します。
すると、
>>39
の例で使えた方法がこの f に対しては通用しないことが分かります。
f のリーマン積分が、 [0, 1] の任意の部分区間（一つの実数からなる区間は除く）で
定義できないからです。
一方、広義積分 ∫_{0}^{1} f_k(x) dx の値は、 2 未満です。
ですので、 ∫_{0}^{1} f(x) dx が定義できないのはおかしいし、その値は、 1 + 1/2 + 1/4 + … = 2 未満であるのが
妥当であると書いています。