Mathématiquement
Un estimateur est exhaustif si la loi de l'échantillon conditionnellement à l'estimateur est indépendante du paramètre .
Un estimateur de est consistant (convergeant) si :
Le biais de l'estimateur de vaut :
Le risque quadratique d'un estimateur vaut :
Retour au taux de guérison
La loi forte des grands nombres (échantillon i.i.d de loi ) assure que :
La convergence presque sûre entraînant la convergence en probabilité, l'estimateur est donc consistant.
L'estimateur est sans biais, en effet :
L'estimateur étant sans biais, le risque quadratique est égal à la variance :
car les variables sont indépendantes, donc non corrélées, d'où :
Le risque quadratique fournit un indicateur de la dispersion de autour de la valeur à estimer . Certes on ne connaît pas sa valeur qui dépend de , mais on peut l'estimer par :
On constate que le risque quadratique décroît logiquement quand la taille de l'échantillon augmente.
Notons que ces résultats sont valables quelle que soit la loi, pas seulement pour une loi .
Retour à la consommation d'essence
La loi forte des grands nombres (et un théorème, celui de Slutsky) assure que les estimateurs , et sont consistants :
est un estimateur sans biais de :
est un estimateur biaisé, mais asymptotiquement sans biais, de :
Si est un estimateur biaisé (mais asymptotiquement sans biais) de , est quant à elle sans biais :
C'est pour cela qu'on retrouve usuellement dans les logiciels la version dite sans biais (unbiased) .