Full threadDavidSJ·Completely besides the point, but that integral evaluates to sqrt(2pi), not sqrt(pi).View on HN