For integer \( n \geq 1 \), define
\[
a_n = \sum_{k=0}^{\infty} \frac{k^n}{k!}, \quad b_n = \sum_{k=0}^{\infty} (-1)^k \frac{k^n}{k!}.
\]
Prove that \( a_n b_n \) is an integer.

The best solution was submitted by 황성호. Congratulations!

Similar solutions were submitted by 박훈민 (+3), 이규승 (+3), 이승훈 (+3), 이영민 (+3), 이종원 (+3), 장기정 (+3), 정성진 (+3), 채석주 (+3), Zhang Qiang (+2). Thank you for your participation.

Let \(a\), \(b\) be distinct positive integers. Prove that there exists a prime \(p\) such that when dividing both \(a\) and \(b\) by \(p\), the remainder of \(a\) is less than the remainder of \(b\).

The best solution was submitted by 이종원 (2014학번). Congratulations!

Alternative solutions were submitted by 황성호 (+3), 정성진(+2), 박훈민 (+2). There were a few incorrect submissions (KSJ, JKJ, KDS, AHS, KKS, PKH).

Let \(a_1,a_2,\ldots\) be an infinite sequence of positive real numbers such that \(\sum_{n=1}^\infty a_n\) converges. Prove that for every positive constant \(c\), there exists an infinite sequence \(i_1<i_2<i_3<\cdots\) of positive integers such that \(| i_n-cn^3| =O(n^2)\) and  \(\sum_{n=1}^\infty \left( a_{i_n} (a_1^{1/3}+a_2^{1/3}+\cdots+a_{i_n}^{1/3})\right)\) converges.

The best solution was submitted by 장기정(2014학번). Congratulations!

Alternative solutions were submitted by 정성진 (+3), 이종원 (+2), 이영민 (+2), 황성호 (+2), 김경석 (+2), 채석주 (+1). Incorrect solutions were submitted by B.H.J., P.K.H.

Suppose that \( a_1, a_2, \cdots \) are positive real numbers. Prove that
\[
\sum_{n=1}^{\infty} (a_1 a_2 \cdots a_n)^{1/n} \leq e \sum_{n=1}^{\infty} a_n \,.
\]

The best solution was submitted by 정성진. Congratulations!

Alternative solutions were submitted by 김경석 (+3), 이영민 (+3), 이종원 (+3), 장기정 (+3), 정성진 (+3), 조준영 (+3), 황성호 (+2). Incorrect solutions were submitted by K.S.J., L.S.C. (Some initials here might have been improperly chosen.)

Prove that there exist infinitely many pairs of positive integers \( (m, n) \) satisfying the following properties:

(1) gcd\( (m, n) = 1 \).

(2) \((x+m)^3 = nx\) has three distinct integer solutions.

The best solution was submitted by 이종원. Congratulations!

Alternative solutions were submitted by 김경석 (+3), 김은혜 (+3), 김일희 (+3), 김찬민 (+3), 박훈민 (+3), 안현수 (+3), 어수강 (+3), 윤성철 (+3), 이영민 (+3), 장경석 (+3), 장기정 (+3), 정성진 (+3), 조준영 (+3), 채석주 (+3), 황성호 (+3), 박경호 (+2), 조남경 (+2). An incorrect solutions was submitted by N.J.H. (Some initials here might have been improperly chosen.)

Let \( f: [0, \infty) \to \mathbb{R} \) be a function satisfying the following conditions:

(1) For any \( x, y \geq 0 \), \( f(x+y) \geq f(x)+f(y) \).

(2) For any \( x \in [0, 2] \), \( f(x) \geq x^2 – x \).

Prove that, for any positive integer \( M \) and positive reals \( n_1, n_2, \cdots, n_M \) with \( n_1 + n_2 + \cdots + n_M = M \), we have

\[ f(n_1) + f(n_2) + \cdots + f(n_M) \geq 0. \]

The best solution was submitted by 박훈민. Congratulations!

Alternative solutions were submitted by 김경석 (+3), 김일희 (+3), 안현수 (+3), 어수강 (+3), 윤성철 (+3), 이영민 (+3), 이종원 (+3), 장경석 (+3), 장기정 (+3), 정성진 (+3), 정진야 (+3), 조준영 (+3), 채석주 (+3), 황성호 (+3). Incorrect solutions were submitted by K.W.J., K.H.S., N.J.H, M.K.Y., S.W.C., L.H.B., C.W.H. (Some initials here might have been improperly chosen.)

Determine all positive integers \(\ell\) such that \[ \sum_{n=1}^\infty \frac{n^3}{(n+1)(n+2)(n+3)\cdots (n+\ell)}\] converges and if it converges, then compute its value.

The best solution was submitted by 황성호 (2013학번). Congratulations!

Alternative solutions were submitted by 박훈민 (+3), 이종원 (+3), 채석주 (+3), 이영민 (+2), 조준영 (+2),정성진 (+3), 장기정 (+3), 오동우 (+3), 이상철 (+3), 어수강 (+3), 엄문용 (+3), 윤성철 (+3), 전한울 (+3), 박경호 (+2), 한대진 (+2), 서진솔 (+2), 이시우 (+2). Four incorrect solutions were submitted (J.K.S., N.J.H., A.H.S., C.J.H.).

Let \( f \) be a real-valued continuous function on \( [ 0, 1] \). For a positive integer \( n \), define
\[
B_n(f; x) = \sum_{j=0}^n f( \frac{j}{n}) {n \choose j} x^j (1-x)^{n-j}.
\]
Prove that \( B_n (f; x) \) converges to \( f \) uniformly on \( [0, 1 ] \) as \( n \to \infty \).

The best solution was submitted by 김범수. Congratulations!

Similar solutions are submitted by 권현우(+3), 박경호(+3), 오동우(+3), 이시우(+3), 이종원(+3), 이주호(+3), 장경석(+3), 장기정(+3), 정성진(+3), 정진야(+3), 조준영(+3), 채석주(+3), 한대진(+3), 황성호(+3). Thank you for your participation.

Find all polynomials \( P(x) = a_n x^n + \cdots + a_1 x + a_0 \) satisfying (i) \( a_n \neq 0 \), (ii) \( (a_0, a_1, \cdots, a_n) \) is a permutation of \( (0, 1, \cdots, n) \), and (iii) all zeros of \( P(x) \) are rational.

The best solution was submitted by 전한솔. Congratulations!

Similar solutions are submitted by 김호진(+3), 박민재(+3), 엄태현(+3), 정성진(+3), 진우영(+3), 한대진(+3). Thank you for your participation.

Find all field automorphisms of the field of real numbers \( \mathbb{R} \). (A field automorphism of a field \( F \) is a bijective map \( \sigma : F \to F \) that preserves all of \( F \)’s algebraic properties.)

The best solution was submitted by 박지민. Congratulations!

Similar solutions are submitted by 고진용(+3), 김호진(+3), 박경호(+3), 박민재(+3), 박훈민(+3), 어수강(+3), 전한솔(+3), 정성진(+3), 진우영(+3), 한대진(+3). Thank you for your participation.