Comment construire un intervalle de confiance de la moyenne d'une loi normale d'écart-type connu ?
Utiliser la loi exacte de $\overline{X}_n \sim \mathcal{N}(m, \sigma^2/n)$ pour encadrer la moyenne $m$ à un niveau donné.
Choisissez une approche :
En utilisant que et les quantiles
IC exact de la moyenne d'une loi normale à écart-type $\sigma$ connu, via standardisation gaussienne.
En appliquant Bienaymé-Tchebychev comme borne plus grossière indépendante de la normalité
IC non asymptotique de la moyenne à écart-type connu via Bienaymé-Tchebychev, sans exiger la normalité.