integrate ln(sin(x)/x) from x=0 to pi/2