integral of ln(sinx) from 0 to pi/2