Problem 1714 (difficulty: 9/10)

\(\displaystyle \displaystyle \int\limits_0^{\pi/2} \log\sin x dx=?\)

Give me another random problem!

Subject, section:
Requested difficulty:
Request for a concrete problem:I want problem no.

Supported by the Higher Education Restructuring Fund allocated to ELTE by the Hungarian Government