Os estimadores não viesados E1 = mX - mY + Z e E

Os estimadores não viesados E1 = mX - mY + Z e E₂ = (m - 12)X - mY + 13Z, em que m é um parâmetro real, são utilizados para a obtenção da média ? de uma população normal com variância unitária. (X, Y, Z) é uma amostra aleatória extraída desta população, com reposição. Considerando o maior valor inteiro m tal que E₁ é mais eficiente que E₂, tem-se que a variância de E₁ é igual a