normal distribution probability density function proof