\int_0^a r \exp -\frac{r^2}{2\sigma^2}