クラメール・ラオの限界

Summarize Timeline Top Qs Fact Check

ここでは、母数が1つ・推定量が不偏である場合から始めて、いくつかのかなり一般的な場合へと拡張していく。どのバージョンでもある種の正規性の仮定をおくが、それはほとんどの「普通のふるまいをする」確率分布については成り立つものである。この条件については後述する。

何らかの確率密度関数 ${\displaystyle f(x;\theta )}$ に従って分布する量 ${\displaystyle x}$ の観測値から、未知母数 ${\displaystyle \theta }$ を推定することを考える。このとき、 ${\displaystyle \theta }$ に対する任意の不偏な推定量 ${\displaystyle {\hat {\theta }}}$ の分散は、フィッシャー情報量 ${\displaystyle I(\theta )}$ の逆数以上になる：

${\displaystyle \operatorname {Var} ({\hat {\theta }})\geq {\frac {1}{I(\theta )}}}$

フィッシャー情報量 ${\displaystyle I(\theta )}$ は

${\displaystyle I(\theta )=\operatorname {E} \left[\left({\frac {\partial \ell (X;\theta )}{\partial \theta }}\right)^{2}\right]}$

と定義される。ここで、 ${\displaystyle \ell (x;\theta )=\ln(f(x;\theta ))}$ は尤度の自然対数をとったもの（なお ${\displaystyle {\frac {\partial \ell (x;\theta )}{\partial \theta }}}$ をスコア関数（英語版）という）で、 ${\displaystyle \operatorname {E} }$ は平均を表す。

不偏推定量 ${\displaystyle {\hat {\theta }}}$ の有効度は、推定量の分散がこの下限にどの程度接近しているかを測る指標で、次のように定義される。

${\displaystyle e({\hat {\theta }})={\frac {I(\theta )^{-1}}{\operatorname {Var} ({\hat {\theta }})}}}$

不偏推定量の分散の下限値を、実際の分散で割った値、ともいえる。クラメール・ラオの下限より ${\displaystyle e({\hat {\theta }})\leq 1}$ となる。

より一般に、確率変数 ${\displaystyle X}$ の関数 ${\displaystyle T(X)}$ を用いて、母数の関数 ${\displaystyle \psi (\theta )}$ を推定することを考える。${\displaystyle \operatorname {E} \left[T(X)\right]=\psi (\theta )}$ であるとする。このときの分散の下限は、

${\displaystyle \operatorname {Var} (T)\geq {\frac {[\psi '(\theta )]^{2}}{I(\theta )}}}$

ここで ${\displaystyle \psi '(\theta )}$ は ${\displaystyle \psi (\theta )}$ の ${\displaystyle \theta }$ による微分、 ${\displaystyle I(\theta )}$ はフィッシャー情報量である。

母数 ${\displaystyle \theta }$ の推定量 ${\displaystyle {\hat {\theta }}}$ に ${\displaystyle b(\theta )=\operatorname {E} [{\hat {\theta }}]-\theta }$ だけの偏りがあるとする。

${\displaystyle \psi (\theta )=b(\theta )+\theta }$ と置いて前項の結果を使うと、

${\displaystyle \operatorname {Var} ({\hat {\theta }})\geq {\frac {[1+b'(\theta )]^{2}}{I(\theta )}}}$

不偏のときの不等式は、 ${\displaystyle b(\theta )=0}$ とした特別な場合である。

分散を小さくすることだけを考えるなら、定数関数となる「推定量」をとれば、分散はゼロである。しかし上記の式から、推定量の平均二乗誤差には

${\displaystyle \operatorname {E} \left[({\hat {\theta }}-\theta )^{2}\right]\geq {\frac {[1+b'(\theta )]^{2}}{I(\theta )}}+b(\theta )^{2}}$

という下限が存在することになる。ここで、平均二乗誤差の標準的な分解式

${\displaystyle \operatorname {MSE} ({\hat {\theta }}):=\operatorname {E} \left[({\hat {\theta }}-\theta )^{2}\right]=\operatorname {E} \left[\left({\hat {\theta }}-\operatorname {E} [{\hat {\theta }}]\right)^{2}\right]+\left(\operatorname {E} [{\hat {\theta }}]-\theta \right)^{2}}$

を用いた。

注意：もし ${\displaystyle 1+b'(\theta )<1}$ であれば、不偏のときのクラメール・ラオの下限 ${\displaystyle 1/I(\theta )}$ を下回ることもある。例えば、後述する例では、 ${\displaystyle 1+b'(\theta )={\frac {n}{n+2}}<1}$ となる。

クラメール・ラオの限界を、母数が複数の場合にも拡張しよう。母数ベクトルを

${\displaystyle {\boldsymbol {\theta }}=\left(\theta _{1},\theta _{2},\dots ,\theta _{d}\right)^{T}\in \mathbb {R} ^{d}}$

とし（右肩の T は転置を表す（以下同じ））、それによって決まる確率密度関数 ${\displaystyle f(x;{\boldsymbol {\theta }})}$ を考える。${\displaystyle f}$ は後述の正規性の条件をみたすものとする。 フィッシャー情報行列は、 ${\displaystyle d\times d}$ 行列で、その成分 ${\displaystyle I_{m,k}}$ が

${\displaystyle {\begin{aligned}I_{m,k}&=\operatorname {E} \left[{\frac {\partial }{\partial \theta _{m}}}\ln f\left(x;{\boldsymbol {\theta }}\right){\frac {\partial }{\partial \theta _{k}}}\ln f\left(x;{\boldsymbol {\theta }}\right)\right]\\&=-\operatorname {E} \left[{\frac {\partial ^{2}}{\partial \theta _{m}\partial \theta _{k}}}\ln f\left(x;{\boldsymbol {\theta }}\right)\right]\end{aligned}}}$

で定まる行列のことである。 ${\displaystyle {\boldsymbol {T}}(X)}$ を、母数ベクトルの任意の推定量としよう： ${\displaystyle {\boldsymbol {T}}(X)=(T_{1}(X),\ldots ,T_{d}(X))^{T}}$。ここで、各成分の平均を並べた平均ベクトル ${\displaystyle \operatorname {E} [{\boldsymbol {T}}(X)]}$ を ${\displaystyle {\boldsymbol {\psi }}({\boldsymbol {\theta }})}$ と記す。

このとき、 ${\displaystyle {\boldsymbol {T}}(X)}$ の分散共分散行列に対するクラメール・ラオの限界は、

${\displaystyle \operatorname {Cov} \left({\boldsymbol {T}}(X)\right)\geq {\frac {\partial {\boldsymbol {\psi }}\left({\boldsymbol {\theta }}\right)}{\partial {\boldsymbol {\theta }}}}\left([I\left({\boldsymbol {\theta }}\right)]^{-1}{\frac {\partial {\boldsymbol {\psi }}\left({\boldsymbol {\theta }}\right)}{\partial {\boldsymbol {\theta }}}}\right)^{T}}$

となる。ここで、

• 行列に対する不等式 ${\displaystyle A\geq B}$ は、行列の差 ${\displaystyle A-B}$ が非負定値であるということである。
• ${\displaystyle \partial {\boldsymbol {\psi }}({\boldsymbol {\theta }})/\partial {\boldsymbol {\theta }}}$ はヤコビ行列（ ${\displaystyle ij}$ 成分が ${\displaystyle \partial \psi _{i}({\boldsymbol {\theta }})/\partial \theta _{j}}$ ）である。

もし ${\displaystyle {\boldsymbol {T}}(X)}$ が ${\displaystyle {\boldsymbol {\theta }}}$ の不偏推定量であれば（つまり ${\displaystyle {\boldsymbol {\psi }}\left({\boldsymbol {\theta }}\right)={\boldsymbol {\theta }}}$ であれば）クラメール・ラオの限界は

${\displaystyle \operatorname {Cov} \left({\boldsymbol {T}}(X)\right)\geq I\left({\boldsymbol {\theta }}\right)^{-1}}$

のようになる。フィッシャー情報行列の逆行列を計算するのが面倒な場合は、単に対応する対角成分の逆数をとることで、（より緩いかもしれないが）1つの下限が得られる^[8]。

${\displaystyle \operatorname {Var} (T_{m}(X))=\left[\operatorname {Cov} \left({\boldsymbol {T}}(X)\right)\right]_{mm}\geq \left[I\left({\boldsymbol {\theta }}\right)^{-1}\right]_{mm}\geq \left(\left[I\left({\boldsymbol {\theta }}\right)\right]_{mm}\right)^{-1}}$

クラメール・ラオの不等式が成り立つための確率密度関数 ${\displaystyle f(x;\theta )}$ と推定量 ${\displaystyle T(X)}$ に関する2つの弱い十分条件は、次のとおりである:

• フィッシャー情報量が常に定義されていること。言い換えると、次式を ${\displaystyle x}$ で積分した値が有限値として存在すること。

${\displaystyle {\frac {\partial }{\partial \theta }}\ln f(x;\theta )}$

• ${\displaystyle T}$ の期待値について、 ${\displaystyle x}$ についての積分と、 ${\displaystyle \theta }$ についての偏微分が交換可能である、つまり

${\displaystyle {\frac {\partial }{\partial \theta }}\left[\int _{\mathbb {R} }T(x)f(x;\theta )\,dx\right]=\int _{\mathbb {R} }T(x)\left[{\frac {\partial }{\partial \theta }}f(x;\theta )\right]\,dx}$

が、右辺が存在する限り成り立つこと。

この条件は、以下のいずれかの場合が成り立つことをもって確認されることが多い：

1. 関数 ${\displaystyle f(x;\theta )}$ は、 ${\displaystyle \theta }$ に依らない有界な関数の台（非ゼロとなる定義域）を持つ。
2. ${\displaystyle \theta }$ に依らない可積分関数 ${\displaystyle g(x)}$ が存在して ${\displaystyle \left|T(x){\frac {\partial }{\partial \theta }}f(x;\theta )\right\vert }$ を上から抑える。つまり、

${\displaystyle \left|T(x){\frac {\partial }{\partial \theta }}f(x;\theta )\right\vert \leq g(x)\quad (\forall x,\forall \theta ),\quad \int _{\mathbb {R} }g(x)\,dx<\infty }$

${\displaystyle f(x;\theta )}$ が ${\displaystyle \theta }$ で2階偏微分可能であるとすると、フィッシャー情報量は

${\displaystyle {\begin{aligned}I(\theta )&=\operatorname {E} \left[\left({\frac {\partial }{\partial \theta }}\ln f(X;\theta )\right)^{2}\right]\\&=\int _{\mathbb {R} }f(x;\theta ){\frac {1}{\left(f(x;\theta )\right)^{2}}}\left({\frac {\partial f(x;\theta )}{\partial \theta }}\right)^{2}\,dx\\&=-\int _{\mathbb {R} }f(x;\theta ){\frac {f(x;\theta ){\frac {\partial f(x;\theta )}{\partial \theta }}-\left({\frac {\partial f(x;\theta )}{\partial \theta }}\right)^{2}}{\left(f(x;\theta )\right)^{2}}}\,dx\\&=-\int _{\mathbb {R} }f(x;\theta )\left({\frac {\partial ^{2}}{\partial \theta ^{2}}}\ln f(x;\theta )\right)\,dx\\&=-\operatorname {E} \left[{\frac {\partial ^{2}}{\partial \theta ^{2}}}\ln f(X;\theta )\right]\end{aligned}}}$

（3番目の等号の箇所で

${\displaystyle \int _{\mathbb {R} }{\frac {\partial f(x;\theta )}{\partial \theta }}\,dx={\frac {\partial }{\partial \theta }}\int _{\mathbb {R} }f(x;\theta )\,dx={\frac {\partial }{\partial \theta }}(1)=0}$

であることを用いた）

と変形でき、クラメール・ラオの不等式は次のようにも書ける。

${\displaystyle \operatorname {Var} ({\hat {\theta }})\geq {\frac {1}{I(\theta )}}={\frac {1}{-\operatorname {E} \left[{\frac {\partial ^{2}}{\partial \theta ^{2}}}\ln f(X;\theta )\right]}}}$

こちらの公式の方が下限を評価するのにより有用な場合がある。

Summarize Timeline Top Qs Fact Check

母数が1つの場合のクラメール・ラオの不等式を一般的に証明する。

${\displaystyle X}$ を、確率密度関数が ${\displaystyle f(x;\theta )}$ となる確率分布に従う確率変数とし、${\displaystyle T=t(X)}$ は ${\displaystyle X}$ の関数で、母数 ${\displaystyle \theta }$ の関数である ${\displaystyle \psi (\theta )}$ の不偏推定量であるとする。つまり、 ${\displaystyle \operatorname {E} \left[T\right]=\psi (\theta )}$。

目標は、任意の ${\displaystyle \theta }$ に対して

${\displaystyle \operatorname {Var} (t(X))\geq {\frac {[\psi ^{\prime }(\theta )]^{2}}{I(\theta )}}}$

を示すことである。

${\displaystyle V}$ を次のように定義する（これはスコア関数である）：

${\displaystyle V={\frac {\partial }{\partial \theta }}\ln f(X;\theta )={\frac {1}{f(X;\theta )}}{\frac {\partial }{\partial \theta }}f(X;\theta )}$

ここで連鎖律を使った。${\displaystyle V}$ の期待値はゼロである。なぜなら：

${\displaystyle {\begin{aligned}\operatorname {E} \left[V\right]&=\int _{\mathbb {R} }f(x;\theta )\left[{\frac {1}{f(x;\theta )}}{\frac {\partial }{\partial \theta }}f(x;\theta )\right]\,dx\\&={\frac {\partial }{\partial \theta }}\int _{\mathbb {R} }f(x;\theta )\,dx={\frac {\partial }{\partial \theta }}(1)=0\end{aligned}}}$

ここで積分と偏微分の順序が交換可能であること（正規性の条件の2番目）を使った。

${\displaystyle V}$ と ${\displaystyle T}$ の共分散 ${\displaystyle \operatorname {Cov} (V,T)}$ は、 ${\displaystyle \operatorname {E} \left[V\right]=0}$ だから ${\displaystyle \operatorname {Cov} (V,T)=\operatorname {E} \left[VT\right]}$、よって次式を得る。

${\displaystyle {\begin{aligned}\operatorname {Cov} (V,T)&=\operatorname {E} \left[T\cdot \left\{{\frac {1}{f(X;\theta )}}{\frac {\partial }{\partial \theta }}f(X;\theta )\right\}\right]\\[6pt]&=\int _{\mathbb {R} }t(x)\left[{\frac {1}{f(x;\theta )}}{\frac {\partial }{\partial \theta }}f(x;\theta )\right]f(x;\theta )\,dx\\[6pt]&={\frac {\partial }{\partial \theta }}\left[\int _{\mathbb {R} }t(x)f(x;\theta )\,dx\right]={\frac {\partial }{\partial \theta }}\operatorname {E} \left[T\right]=\psi ^{\prime }(\theta )\end{aligned}}}$

ここで再び、積分と微分が交換可能であるという条件（正規性の条件の2番目）を使った。

コーシー・シュワルツの不等式から、

${\displaystyle {\sqrt {\operatorname {Var} (T)\operatorname {Var} (V)}}\geq \left|\operatorname {Cov} (V,T)\right|=\left|\psi ^{\prime }(\theta )\right|}$

よって

${\displaystyle \operatorname {Var} (T)\geq {\frac {[\psi ^{\prime }(\theta )]^{2}}{\operatorname {Var} (V)}}={\frac {[\psi ^{\prime }(\theta )]^{2}}{I(\theta )}}}$

これが示したかったことである。

Summarize Timeline Top Qs Fact Check

確率変数列 ${\displaystyle X_{1},X_{2},\cdots ,X_{n}}$ を使って推定を行う場合について、未知母数が1つ（${\displaystyle \theta }$）のときに絞って概要を述べる。${\displaystyle {\boldsymbol {X}}:=(X_{1},X_{2},\cdots ,X_{n})}$ と書くことにする。

• 尤度関数は、結合確率密度関数 ${\displaystyle f_{n}(x_{1},x_{2},\cdots ,x_{n};\theta )=f_{n}({\boldsymbol {x}};\theta )}$ で与えられる（標本の値 ${\displaystyle {\boldsymbol {x}}}$ が代入されたとして ${\displaystyle \theta }$ の関数とみなしている）。
• スコア関数は、尤度関数の自然対数をとってから ${\displaystyle \theta }$ で偏微分したものである。

${\displaystyle {\frac {\partial }{\partial \theta }}\ln f_{n}({\boldsymbol {x}};\theta )}$

これらはいずれも実数値関数であるので、

• フィッシャー情報量も実数値であり、

${\displaystyle I(\theta )=\operatorname {E} \left[\left({\frac {\partial }{\partial \theta }}\ln f_{n}({\boldsymbol {X}};\theta )\right)^{2}\right]}$

となる。

本記事でここまでに述べた事柄は、次の置き換えをすれば基本的に全て同じ形式で成り立つ。

${\displaystyle X\to {\boldsymbol {X}},\quad x\to {\boldsymbol {x}},\quad \int _{\mathbb {R} }(\cdots )\,dx\to \int _{\mathbb {R} ^{n}}(\cdots )\,d{\boldsymbol {x}}}$

特に、確率変数列 ${\displaystyle {\boldsymbol {X}}=(X_{1},X_{2},\cdots ,X_{n})}$ が独立同分布で、その確率密度関数が ${\displaystyle f(x;\theta )}$ であるとすると、

• 尤度関数は ${\displaystyle f_{n}({\boldsymbol {x}};\theta )=\prod _{i=1}^{n}f(x_{i};\theta )}$
• スコア関数は ${\displaystyle {\frac {\partial }{\partial \theta }}\ln f_{n}({\boldsymbol {x}};\theta )=\sum _{i=1}^{n}\left({\frac {\partial }{\partial \theta }}\ln f(x_{i};\theta )\right)}$
• フィッシャー情報量は

${\displaystyle {\begin{aligned}I(\theta )&=-\operatorname {E} \left[{\frac {\partial ^{2}}{\partial \theta ^{2}}}\ln f_{n}({\boldsymbol {X}};\theta )\right]\\&=-\operatorname {E} \left[{\frac {\partial ^{2}}{\partial \theta ^{2}}}\sum _{i=1}^{n}\{\ln f(X_{i};\theta )\}\right]\\&=-\sum _{i=1}^{n}\left(\operatorname {E} \left[{\frac {\partial ^{2}}{\partial \theta ^{2}}}\{\ln f(X;\theta )\}\right]\right)\\&=-n\operatorname {E} \left[{\frac {\partial ^{2}}{\partial \theta ^{2}}}\ln f(X;\theta )\right]\end{aligned}}}$

となる。

Summarize Timeline Top Qs Fact Check

平均値ベクトル ${\displaystyle {\boldsymbol {\mu }}({\boldsymbol {\theta }})}$、分散共分散行列 ${\displaystyle {\boldsymbol {C}}({\boldsymbol {\theta }})}$ が未知母数ベクトル ${\displaystyle {\boldsymbol {\theta }}}$ で定まるような、一般的な d 次元正規分布 ${\displaystyle N_{d}\left({\boldsymbol {\mu }}({\boldsymbol {\theta }}),{\boldsymbol {C}}({\boldsymbol {\theta }})\right)}$ の場合、

フィッシャー情報行列の成分は^[9]、

${\displaystyle I_{m,k}={\frac {\partial {\boldsymbol {\mu }}^{T}}{\partial \theta _{m}}}{\boldsymbol {C}}^{-1}{\frac {\partial {\boldsymbol {\mu }}}{\partial \theta _{k}}}+{\frac {1}{2}}\operatorname {tr} \left({\boldsymbol {C}}^{-1}{\frac {\partial {\boldsymbol {C}}}{\partial \theta _{m}}}{\boldsymbol {C}}^{-1}{\frac {\partial {\boldsymbol {C}}}{\partial \theta _{k}}}\right)}$

ここで "tr" は行列のトレースを表す。

より簡単な例として、平均 ${\displaystyle \theta }$ が未知で分散 ${\displaystyle \sigma ^{2}}$ が既知の正規分布から、独立に ${\displaystyle d}$ 回抽出してえられる標本量ベクトルを ${\displaystyle \mathbf {W} _{d}}$ とする。

${\displaystyle \mathbf {W} _{d}\sim N_{d}\left(\theta {\boldsymbol {1}},\sigma ^{2}{\boldsymbol {I}}\right)}$

ここで ${\displaystyle {\boldsymbol {1}}}$ は 1 を d 個並べたベクトル、${\displaystyle {\boldsymbol {I}}}$ は d 次単位行列である。未知母数が1つなのでフィッシャー情報量は

${\displaystyle I(\theta )=\left({\frac {\partial {\boldsymbol {\mu }}(\theta )}{\partial \theta }}\right)^{T}{\boldsymbol {C}}^{-1}\left({\frac {\partial {\boldsymbol {\mu }}(\theta )}{\partial \theta }}\right)=\sum _{i=1}^{d}{\frac {1}{\sigma ^{2}}}={\frac {d}{\sigma ^{2}}}}$

とスカラーで与えられ、クラメール・ラオの下限は

${\displaystyle \operatorname {Var} ({\hat {\theta }})\geq {\frac {\sigma ^{2}}{d}}}$

${\displaystyle X,\{X_{i}\}_{i}}$ を、平均 ${\displaystyle \mu }$ が既知、分散 ${\displaystyle \sigma ^{2}}$ が未知の正規分布に従う独立な確率変数（列）だとする。次のような統計量を考えよう：

${\displaystyle T={\frac {\sum _{i=1}^{n}(X_{i}-\mu )^{2}}{n}}}$

このとき ${\displaystyle \operatorname {E} \left[T\right]=\sigma ^{2}}$ より、 ${\displaystyle T}$ は ${\displaystyle \sigma ^{2}}$ の不偏推定量になる。

• ${\displaystyle T}$ の分散は、

${\displaystyle \operatorname {Var} (T)={\frac {\operatorname {Var} (X-\mu )^{2}}{n}}={\frac {1}{n}}\left[\operatorname {E} \left[(X-\mu )^{4}\right]-\left(\operatorname {E} \left[(X-\mu )^{2}\right]\right)^{2}\right]}$

（2番目の等号は分散の定義）。第1項は正規分布の4次の中心モーメントであり、 ${\displaystyle 3(\sigma ^{2})^{2}}$ に等しい。第2項は分散の2乗、つまり ${\displaystyle (\sigma ^{2})^{2}}$ である。よって

${\displaystyle \operatorname {Var} (T)={\frac {2(\sigma ^{2})^{2}}{n}}}$

• 一方フィッシャー情報量については、まず、観測1回あたりのスコア関数 ${\displaystyle V}$ が尤度関数 ${\displaystyle L}$ から次のように計算できる。

${\displaystyle {\begin{aligned}V&={\frac {\partial }{\partial (\sigma ^{2})}}\ln L(\sigma ^{2},X)\\&={\frac {\partial }{\partial (\sigma ^{2})}}\ln \left[{\frac {1}{\sqrt {2\pi \sigma ^{2}}}}e^{-(X-\mu )^{2}/{2\sigma ^{2}}}\right]={\frac {(X-\mu )^{2}}{2(\sigma ^{2})^{2}}}-{\frac {1}{2\sigma ^{2}}}\end{aligned}}}$

最後の等号は簡単な計算でわかる。この情報量は、 ${\displaystyle V}$ をもう一度偏微分してから平均をとり、マイナス1倍したものに等しい。

${\displaystyle {\begin{aligned}I&=-\operatorname {E} \left[{\frac {\partial V}{\partial (\sigma ^{2})}}\right]=-\operatorname {E} \left[-{\frac {(X-\mu )^{2}}{(\sigma ^{2})^{3}}}+{\frac {1}{2(\sigma ^{2})^{2}}}\right]\\&={\frac {\sigma ^{2}}{(\sigma ^{2})^{3}}}-{\frac {1}{2(\sigma ^{2})^{2}}}={\frac {1}{2(\sigma ^{2})^{2}}}\end{aligned}}}$

${\displaystyle n}$ 回の独立な観測の情報量は、これを単純に ${\displaystyle n}$ 倍したものになり、

${\displaystyle I_{n}={\frac {n}{2(\sigma ^{2})^{2}}}}$

クラメール・ラオの不等式は ${\displaystyle \operatorname {Var} (T)\geq {\frac {1}{I_{n}}}}$ だが、この場合は等号が成り立っているため、推定量が有効（英語版）であることがわかる。

不偏でない推定量を用いれば、分散及び平均二乗誤差をより小さくすることもできる。例えば ${\displaystyle T_{b}={\frac {\sum _{i=1}^{n}(X_{i}-\mu )^{2}}{n+2}}}$ とすれば、分散は明らかにより小さくなる。実際

${\displaystyle \operatorname {Var} (T_{b})={\frac {2n(\sigma ^{2})^{2}}{(n+2)^{2}}}<\operatorname {Var} (T)}$

ここで偏りは ${\displaystyle -b(\sigma ^{2})=\sigma ^{2}-\operatorname {E} [T_{b}]=\left(1-{\frac {n}{n+2}}\right)\sigma ^{2}={\frac {2\sigma ^{2}}{n+2}}}$ であり、平均二乗誤差は、『（平均二乗誤差(MSE)）＝（分散）＋（偏りの2乗）』の分解式から

${\displaystyle \operatorname {MSE} (T_{b})=\left({\frac {2n}{(n+2)^{2}}}+{\frac {4}{(n+2)^{2}}}\right)(\sigma ^{2})^{2}={\frac {2(\sigma ^{4})}{n+2}}}$

となる。こちらも不偏推定量のときの

${\displaystyle \operatorname {MSE} (T)=\left({\frac {2(\sigma ^{2})^{2}}{n}}+0\right)(\sigma ^{2})^{2}={\frac {2(\sigma ^{4})}{n}}}$

を下回っている。

正規母集団の平均も分散も未知の場合、分散の推定量の平均二乗誤差が最小になるのは、${\displaystyle {\overline {X}}={\frac {1}{n}}\sum _{i=1}^{n}(X_{i})}$ を平均の推定量として

${\displaystyle T_{n+1}={\frac {1}{n+1}}\sum _{i=1}^{n}\left(X_{i}-{\overline {X}}\,\right)^{2}}$

のときである（分母が n − 1 や n + 2 のときではない）。