Prove the following: There exists a bounded real random variable \( Z \) such that
\[
E[Z] = 0, E[Z^2] = 1, E[Z^3] = x, E[Z^4] = y
\]
if and only if \( y \geq x^2 + 1 \). (Here, \( E \) denotes the expectation.)

The best solution was submitted by 김준홍 (KAIST 수리과학과 20학번, +4). Congratulations!

Here is the best solution of problem 2024-04.

Other solutions were submitted by 신정연 (KAIST 수리과학과 21학번, +3), 채지석 (KAIST 수리과학과 석박통합과정 21학번, +3), 김지원 (KAIST 새내기과정학부 24학번, +2), 김찬우 (연세대학교 수학과 22학번, +2), 박상현 (고려대학교 수학과 20학번, +2), 이명규 (KAIST 전산학부 20학번, +2), 정영훈 (KAIST 새내기과정학부 24학번, +2). There were incorrect solutions submitted.