A computer algebra system tells us that erf`text[(] 0 text[)] = 0`. Explain why this means that
erf` text[(] t text[)] = int_0^t (2e^(-s^2))/sqrt(pi) ds`.