A fórmula de distribuição normal utilizada pelo professor apresenta um erro. Nela o desvio padrão da distribuição (sigma) deveria estar fora da raiz, e não dentro como é utilizado no notebook disponibilizado.
Esse erro causa alguns problemas na resolução da distribuição pelo método da integral.