Maths Olympiad Prep

Library / /3 of 31

Algebra Difficulty 4.7 AIME Prove it Estonia

Prove that for any integer n3n \ge 3 we have (2n)!<n2n(2n)! < n^{2n}.

Solutions — 2

Solution 1

For n=3n = 3 the claim holds: (2n)!=6!=720(2n)! = 6! = 720 and n2n=36=729n^{2n} = 3^6 = 729.

Suppose n4n \ge 4. Divide the numbers 2,3,,2n22, 3, \dots, 2n-2 into pairs (k,2nk)(k, 2n-k) with 2kn12 \le k \le n-1, leaving nn alone. For each pair we have
k(2nk)=(n(nk))(n+(nk))=n2(nk)2<n2. k(2n-k) = (n - (n-k))(n + (n-k)) = n^2 - (n-k)^2 < n^2.
Hence 23(2n2)<(n2)n2n=n2n32 \cdot 3 \cdot \dots \cdot (2n-2) < (n^2)^{n-2} \cdot n = n^{2n-3}, therefore
(2n)!<1n2n3(2n1)(2n)<n2n3(2n)2=4n2n1n2n. (2n)! < 1 \cdot n^{2n-3} \cdot (2n-1) \cdot (2n) < n^{2n-3} \cdot (2n)^2 = 4n^{2n-1} \le n^{2n}.

Solution 2

For n=3n=3 the claim holds. Suppose the claim holds for nn; to show that it also holds for n+1n+1 it is enough to show the inequality (2n+1)(2n+2)<(n+1)2nn2n(n+1)2(2n+1)(2n+2) < \frac{(n+1)^{2n}}{n^{2n}}(n+1)^2.

Since (2n+1)(2n+2)<(2n+2)2=4(n+1)2(2n+1)(2n+2) < (2n+2)^2 = 4(n+1)^2, it is enough to show that (n+1)2nn2n>4\frac{(n+1)^{2n}}{n^{2n}} > 4.

This is equivalent with (1+1n)n>2\left(1 + \frac{1}{n}\right)^n > 2 which holds for all n2n \ge 2.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.