Find the minimum value of
\[
\int_{\mathbb{R}} f(x) \log f(x) dx
\]
among functions \(f: \mathbb{R} \rightarrow \mathbb{R}^+ \cup \{ 0 \}\) that satisfy the condition
\[
\int_{\mathbb{R}} f(x) dx = \int_{\mathbb{R}} x^2 f(x) dx = 1.
\]

The best solution was submitted by Lee, Jongwon (이종원, 수리과학과 2014학번). Congratulations!

Here is his solution of problem 2015-13.

Alternative solutions were submitted by 김경석 (2015학번, +3), 김재준 (2014학번, +3), 김희주 (2015학번, +2), 박성혁 (수리과학과 2014학번, +2), 박훈민 (수리과학과 2013학번, +3), 신준형 (2015학번, +3), 오동우 (2015학번, +2), 이신영 (물리학과 2012학번, +2), 이영민 (수리과학과 2012학번, +2), 이정환 (2015학번, +3), 장기정 (수리과학과 2014학번, +2), 최인혁 (2015학번, +2), Luis F. Abanto-Leon (+2), 이시우 (포항공대 수학과 2013학번, +3). Two incorrect solutions (L.S.M., H.I.S.) were submitted.