1994 USAMO Problems/Problem 4: Difference between revisions
| Line 12: | Line 12: | ||
== See Also == | == See Also == | ||
{{USAMO | {{USAMO oldbox|year=1994|num-b=3|num-a=5}} | ||
Revision as of 10:46, 12 April 2011
Problem 4
Let
be a sequence of positive real numbers satisfying
for all
. Prove that, for all
Solution
Since each
is positive, by Muirhead's inequality,
. Now we claim that
, giving
works, but we set the base case
, which gives
. Now assume that it works for
.
By our assumption, now we must prove that, for
case,
, which is clearly true for
. So we are done.