int (5* sin(x)/x) dx from 0 to inf