証明まだできない。

どうも「未知の確率分布の平均だけ分かっているときに、その確率分布を知る」ようなことをしなくてはいけないように思う。
もちろんこんなことができるわけないけど、特殊な場合を扱ってるわけだからできないこともないかもしれない。
少し簡単なバージョンの問題も考えたけど、それでもまだ証明できない。難しい。