Suponhamos um conjunto de $N$ valores (população) com média $\mu$ desconhecida. Observamos apenas uma amostra aleatória (portanto representativa) com $n<N$ valores. Sejam $X_1, X_2, \; \dotsc \; , X_n$ os valores observados na amostra aleatória, sendo independentes entre si. Estimamos a média populacional $\mu$ através da média amostral
$$ \bar{X}=\frac{X_1+X_2+\dotsc+X_n}{n} $$
Observações importantes
Suponha que estimamos um valor $\theta$ através de um estimador $\hat{\theta}$
Duas características desejáveis de um estimador $\hat{\theta}$
No caso do estimador $\bar{X}$
Propriedade: se um estimador $\hat{\theta}$ de um parâmetro $\theta$ é não viesado e a variância de $\hat{\theta}$ converge para $0$ conforme o tamanho da amostra $n$ tende a infinito, então o estimador $\hat{\theta}$ será consistente pelo Teorema de Tchebycheff, pois $\mathbb{E}[\hat{\theta}]=\mu_\theta=\theta$ então
$$ \frac{\mathbb{E}[(\hat{\theta}-\theta)^2]}{\epsilon^2}=\frac{\mathrm{Var}(\hat{\theta})}{\epsilon^2} \to 0 \; \text{se} \; n \to +\infty \Rightarrow P(\vert\hat{\theta}-\theta \vert\geq\epsilon) \to 0\; \text{se} \; n \to +\infty $$
Que é exatamente a definição de consistência
Suponha que estimamos um valor $\theta$ através de um estimador $\hat{\theta}$. Uma medida do quão bom (ou ruim) é o estimador $\hat{\theta}$ é o erro quadrático médio (EQM), dado por
$$ EQM=\mathbb{E}[(\hat{\theta}-\theta)^2]=(\mathbb{E}[\hat{\theta}-\theta])^2+\mathrm{Var}[\hat{\theta}] $$
Ou seja, o EQM é composto pelo viés ao quadrado e pela variância do estimador. Como temos que quanto maior o EQM, pior é o estimador, podemos dizer que o quão bom é um estimador dependerá do seu viés e da sua variância
Sejam $\hat{\theta}_1, \hat{\theta}_2, \; \dotsc \;, \hat{\theta}_n$ diferentes estimadores de $\theta$. Chamamos de eficiente o "melhor" estimador entre eles, normalmente usando um dos critérios abaixo
Sabemos, pela Lei dos Grandes números, que $\bar{X}$ converge em probabilidade para $\mu$, ou seja, $\bar{X}$ é consistente. Se o estimador dado pelo enunciado não fornecer de imediato um estimador em que consigamos utilizar a Lei dos Grandes Números, devemos manipular algebricamente o estimador para obter uma relação com $\bar{X}$. Um exemplo é o exercício 2013/Q7-3 abaixo, em que foi necessário o procedimento a seguir
$$ N'=\frac{N}{2} \Rightarrow T_3'= \frac{\sum_{i=1}^{N'}X_i}{N'} \overset{p}\rightarrow \theta_1 \Rightarrow T_3 = \frac{T_3'}{2} \overset{p}\rightarrow\frac{\theta_1}{2} $$
