Evaluate `int_0^(pi/2) log sin xdx`

Explanation

To evaluate the integral \( I = \int_0^{\frac{\pi}{2}} \log(\sin x) \, dx \), we can use a property of definite integrals.

### Step 1: Set up the integral
Let
\[ I = \int_0^{\frac{\pi}{2}} \log(\sin x) \, dx \]

...