Let
$$f(x) = 1 + \left( \frac{1}{2} \cdot x \right)^2 + \left( \frac{1}{2} \cdot \frac{3}{4} \cdot x^2 \right)^2 + \left( \frac{1}{2} \cdot \frac{3}{4} \cdot \frac{5}{6} \cdot x^3 \right)^2 + \dots$$
Prove that
$$(\sin x) f(\sin x) f'(\cos x) + (\cos x) f(\cos x) f'(\sin x) = \frac{2}{\pi \sin x \cos x}.$$

The best solution was submitted by Seo, Juneyoung (서준영, 수리과학과 대학원생). Congratulations!

Here is his solution of problem 2018-19.

Alternative solutions were submitted by 길현준 (2018학번, +3, solution), 김기현 (수리과학과 대학원생, +3), 이본우 (수리과학과 2017학번, +3).