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 é: