Uma variável X tem distribuição normal, com média 20 e desvio-padrão 10. A probabilidade de essa população gerar uma amostra de tamanho 25, cuja média seja maior ou igual a 20 é igual a: