$$\newcommand{C}[0]{\mathbb{C}}
\newcommand{d}[0]{\displaystyle}
\newcommand{f}[0]{<}
\newcommand{i}[1]{\int_0^{#1}}
\newcommand{l}[0]{\left(}
\newcommand{N}[0]{\mathbb{N}}
\newcommand{Q}[0]{\mathbb{Q}}
\newcommand{qed}[0]{~~~~~~~~~~\square}
\newcommand{r}[0]{\right)}
\newcommand{R}[0]{\mathbb{R}}
\newcommand{tria}[0]{\tau\rho\iota\alpha}
\newcommand{v}[0]{\varnothing}
\newcommand{Z}[0]{\mathbb{Z}}
\newcommand{z}[0]{\zeta}
$$
積分の問題です。
$$\d\int_0^{\frac\pi2}\log\text{sinc}xdx $$
難易度は3/10です。
$\text{sinc}x$はsinc関数と呼ばれるもので、ここでは
$\d\text{sinc}x=\frac{\sin x}x $
と定義します。