I'm reviewing a paper that contains the following expression:
"$...=\int_{y-0.5}^{y+0.5}\mathcal{N}(t|0,\sigma)dt$ , which can be evaluated in closed form"
As far as I know, the CDF of the normal distribution has in general no closed-form expression. In this case, $\sigma$ is not known ahead of time and y is known to be an integer. However, this still shouldn't make it closed-form evaluable?! It's written with such naturalness that I'm wondering whether I'm overlooking something ...