Half-Range Fourier Cosine Series/Identity Function/0 to Pi

Theorem
Let $\map f x$ be the real function defined on $\openint 0 \pi$ as:


 * Sneddon-1-Exercise-6-ii.png


 * $\map f x = x$

Then its half-range Fourier cosine series can be expressed as: