形式化证明样本均值 \bar X = (1)/(n)sum X_i 是 mu 的（a）无偏和（b）一致估计量，对部分(b)使用Chebyshev不等式。形式化证明样本均值 \bar X = (1)/(n)sum X_i 是 mu 的（a）无偏和（b）一致估计量，对部分(b)使用Chebyshev不等式。

• Natural Language
• Math Input