Problem 1359 (difficulty: 4/10)
\(\displaystyle \int_0^{\pi/2}\left(\int_x^{\pi/2}\frac{\sin y}{y}\;\dy\right)\dx=? \)