Deduce that $$\int _ { 0 } ^ { \pi / 2 } \ln ( \sin \theta ) d \theta = - \pi \frac { \ln 2 } { 2 }$$ Then recover the result from question III.B.6.