\int_{0}^{\pi/2}ln(sinx)dx