the integral from 0 to infinity of sin(x)