アトムの物理ノート

＜ｆ（ｘ1、x2、x3、…）＞＝ｆ（＜ｘ１＞、＜ｘ２＞、＜ｘ３＞、…）

と平均値で置き換えたらよいじゃんということですね。

うーん、なんかそれっぽい。
基礎知識が不足していて、証明のレベルまでは持っていけませんが、直感的に分かりやすいぶん、証明まで持っていく時に気をつけないといけないかも・・・

久しぶりにコメントもらえたので嬉しいです。また何か分かったらどんどん書き込んでください。

証明じゃなくて推測ですが……

x_j (1≦j≦n)を「等確率で 0 から 1 までの実数値をとりうる確率変数」とする。（x_jの平均値μ = 1/2 ）

「∫…∫ n/(x_1 + x_2 + … + x_n) dx_1 dx_2 … dx_n」は「n/(x_1 + x_2 + … + x_n) の期待値」？

たぶん大数の強法則より「n→∞ のとき、 (x_1 + x_2 + … + x_n)/n = μ となる確率→ 1 」
逆数をとって「n→∞ のとき、 n/(x_1 + x_2 + … + x_n) = 1/μ となる確率→ 1 」？
（これで 1/μ 以外の有限値になるケースは無視できると思う）

n≧2 では n/(x_1 + x_2 + … + x_n) より dx_1 dx_2 … dx_n の方が高位の無限小だと思うので、
「lim{ε→0}∫…∫ n/(x_1 + x_2 + … + x_n) dx_1 dx_2 … dx_n = 0（n≧2，積分範囲は 0 からε）」のはず？
（これで無限大になるケースも無視できると思う）

以上より「lim{n→∞} ∫…∫ n/(x_1 + x_2 + … + x_n) dx_1 dx_2 … dx_n = 1/μ = 2 」？


……というかんじです。自信全くありません。ルベーグ積分っぽいでしょうか？ ^^;

確かに確率論で迫るのもありそうだと思いちょっと考えてみましたが、私にはちょっと無理でした。　何か分かったら教えてください。

確率論の「大数の法則」で証明できる気がするのですが。どうですかね……（よくわかんないです）

これたしか答え２になったはずだけど証明の記事かくのわすれてるよ。書いておけよ、未来の俺。