integrate sin(pi*x)/x from x=0..2