1.
The value of the integral ∫0π/2log⁡(sin⁡x) dx\int_0^{\pi/2} \log(\sin x)\,dx is