確率変数 がともに期待値0と分散1をもつとき、確率変数 の分散を最小にする実数 は で与えられることを示せ。