正規分布の期待値の分散の推定や検定に$t$分布がよく用いられるが、なぜ期待値の推定が、 \bar{X}-t_{+97.5}\sqrt{\frac{S^2}{n}}\lt \mu\lt \bar{X}-t_{-97.5}\sqrt{\frac{S^2}{n}}\tag{5} のような式になるかの導出を毎回忘れるのでメモしておく。 定理と…