Para uma amostra aleatória de tamanho 144 selecionada da população de um município brasileiro, a média de um atributo é 400. Com base na população, sabe-se que o valor médio desse atributo é 415 e variância 16. O valor da estatística mais adequada ao teste é:

Considere \( H_0 : μ\,\, 415\\H_1 : μ \,\,415 \)