lim (x to 0) ((integral (0 to x) e^(-t^2) dt)/x)