## An Inequality: $\frac{1}{2}\cdot\frac{3}{4}\cdot\frac{5}{6}\cdot\ldots\cdot\frac{99}{100} < \frac{1}{10}$

A product of fractions $\displaystyle \frac{1}{2}\cdot\frac{3}{4}\cdot\frac{5}{6}\cdot\ldots\cdot\frac{2n-1}{2n}$ is on the left-hand side of several inequalities: one with a beautiful proof, one that strengthens the former but is virtually impossible to prove, and a third, even stronger, with an elementary proof.

Try your hand with the simplest variation:

(1)

$\displaystyle \frac{1}{2}\cdot\frac{3}{4}\cdot\frac{5}{6}\cdot\ldots\cdot\frac{99}{100} \lt\frac{1}{10}.$

|Contact| |Front page| |Contents| |Up|

Copyright © 1996-2017 Alexander Bogomolny

Denote the left-hand side of the inequality A:

$\displaystyle A = \frac{1}{2}\cdot\frac{3}{4}\cdot\frac{5}{6}\cdot\ldots \cdot\frac{99}{100}.$

And introduce its *nemesis* $B$:

$\displaystyle B = \frac{2}{3}\cdot\frac{4}{5}\cdot\frac{6}{7}\cdot\ldots\cdot\frac{98}{99}.$

Factor by factor, the fractions in $B$ exceed those in $A:$

$\displaystyle \frac{2}{3} \gt \frac{1}{2},$ $\displaystyle \frac{4}{5} \gt \frac{3}{4},\ldots,\frac{98}{99} \gt \frac{97}{98},$ $\displaystyle 1 \gt \frac{99}{100}.$

From this it follows that $A \lt B.$ Note that, due to the choice of $B,$ in the product $AB$ most of the terms cancel out: $\displaystyle AB = \frac{1}{100}.$ From here,

$\displaystyle A^{2} \lt AB = \frac{1}{100},$

which, with one additional step, proves (1).

This proof suggests that (1) is in fact just a special case of a more general inequality

(2)

$\displaystyle \frac{1}{2}\cdot\frac{3}{4}\cdot\frac{5}{6}\cdot\ldots \cdot\frac{2n-1}{2n} \lt \frac{1}{\sqrt{2n}},$

whose proof is a slight modification of the above with $A$ and $B$ defined as

$\displaystyle A(n) = \frac{1}{2}\cdot\frac{3}{4}\cdot\frac{5}{6}\cdot\ldots \cdot\frac{2n-1}{2n},\\ \displaystyle B(n) = \frac{2}{3}\cdot\frac{4}{5}\cdot\frac{6}{7}\cdot\ldots \cdot\frac{2n-2}{2n-1}.$

As we shall see shortly, (1) and (2) are quite weak: $A(n)$ has a much better bound, viz.

(3)

$\displaystyle A(n) \lt\frac{1}{\sqrt{3n+1}}.$

(3) supplies an edifying curiosity. By itself, it is easily proved by mathematical induction. However, its weakened version

(3')

$\displaystyle A(n) \lt\frac{1}{\sqrt{3n}},$

as far as I know, does not submit to an inductive proof. Try it, by all means. (3) and (3') are often quoted as a pair of problems of which the harder one has a simpler proof.

Meanwhile here's a proof for (3).

|Contact| |Front page| |Contents| |Up|

Copyright © 1996-2017 Alexander Bogomolny

To remind,

$\displaystyle A(n) = \frac{1}{2}\cdot\frac{3}{4}\cdot\frac{5}{6}\cdot\ldots \cdot\frac{2n-1}{2n}$

and we wish to prove (3): $\displaystyle A(n) \lt\frac{1}{\sqrt{3n+1}}.$ For $n = 1,$ we have

$\displaystyle A(1) = \frac{1}{2} = \frac{1}{\sqrt{3\cdot 1+1}}.$

But already for $n = 2,$

$\displaystyle A(2) = \frac{1}{2}\cdot\frac{3}{4} = \frac{3}{8} \lt\frac{1}{\sqrt{7}} = \frac{1}{\sqrt{3\cdot 2+1}},$

because upon squaring $\displaystyle \frac{9}{64} \lt\frac{1}{7},$ for $7\cdot 9 = 63 \lt 64.$ Thus let's proceed with the inductive step and assume that (3) holds for $n = k:$

(4)

$\displaystyle A(k) \lt\frac{1}{\sqrt{3k+1}}.$

We are going to prove that, for $n = k+1,$ (3) also holds

(5)

$\displaystyle A(k+1) \lt\frac{1}{\sqrt{3(k+1)+1}} =\frac{1}{\sqrt{3k+4}}.$

Since $\displaystyle A(k+1) = A(k)\cdot\frac{2k+1}{2k+2},$ (4) implies

(6)

$\displaystyle A(k+1) \lt\frac{2k+1}{2k+2}\cdot\frac{1}{\sqrt{3k+1}}.$

Now square the right hand side in (6):

$\displaystyle \begin{align} \left(\frac{2k+1}{2k+2}\cdot\frac{1}{\sqrt{3k+1}}\right)^{2}&= \frac{(2k+1)^{2}}{(2k+2)^{2}(3k+1)}\\ &= \frac{(2k+1)^{2}}{12k^{3} + 28k^{2} + 20k + 4}\\ &= \frac{(2k+1)^{2}}{(12k^{3} + 28k^{2} + 19k + 4) + k}\\ &= \frac{(2k+1)^{2}}{(2k+1)^{2}(3k+4) + k}\\ &\lt\frac{(2k+1)^{2}}{(2k+1)^{2}(3k+4)}\\ &= \frac{1}{3k+4}, \end{align}$

which is exactly the right-hand side of (5) and proves (6).

Curiously, a much weaker $\displaystyle A(n) \lt\frac{1}{\sqrt{n}}$ is still resistant to the inductive argument, whereas a stronger version $\displaystyle A(n) \lt\frac{1}{\sqrt{n + 1}}$ goes through without a hitch.

(There is another example where mathematical induction applies easily to a stronger inequality and does not seem to work for a weaker one.)

### References

- A. Engel, Problem-Solving Strategies, Springer Verlag, 1998, p. 180
- D. Fomin,S. Genkin,I. Itenberg,
*Mathematical Circles (Russian Experience)*, AMS, 1996, p. 90 - S. Savchev, T. Andreescu,
*Mathematical Miniatures*, MAA, 2003, p. 51 - D. O. Shklyarsky, N. N. Chentsov, I. M. Yaglom,
*Selected Problems and Theorems of Elementary Mathematics*, v 1, Moscow, 1959. (In Russian)

- An Inequality for Grade 8
- An Extension of the AM-GM Inequality
- Schur's Inequality
- Newton's and Maclaurin's Inequalities
- Rearrangement Inequality
- Chebyshev Inequality
- Jensen's Inequality
- Muirhead's Inequality
- Bergström's inequality
- Radon's Inequality and Applications
- Jordan and Kober Inequalities, PWW
- A Mathematical Rabbit out of an Algebraic Hat
- An Inequality With an Infinite Series
- An Inequality: 1/2 * 3/4 * 5/6 * ... * 99/100 less than 1/10
- A Low Bound for 1/2 * 3/4 * 5/6 * ... * (2n-1)/2n
- An Inequality: Easier to prove a subtler inequality
- Inequality with Logarithms
- An inequality: 1 + 1/4 + 1/9 + ... less than 2
- Inequality with Harmonic Differences
- An Inequality by Uncommon Induction
- Hlawka's Inequality
- An Inequality in Determinants
- Application of Cauchy-Schwarz Inequality
- An Inequality from Tibet
- An Inequality with Constraint
- An Inequality from Morocco
- An Inequality for Mixed Means
- An Inequality in Integers
- An Inequality in Integers II
- An Inequality in Integers III
- An Inequality with Exponents
- Exponential Inequalities for Means
- A Simple Inequality in Three Variables
- An Asymmetric Inequality
- Linear Algebra Tools for Proving Inequalities
- An Inequality with a Generic Proof
- A Generalization of an Inequality from a Romanian Olympiad
- Area Inequality in Trapezoid
- Improving an Inequality
- RomanoNorwegian Inequality
- Inequality with Nested Radicals II
- Inequality with Powers And Radicals
- Inequality with Two Minima
- Simple Inequality with Many Faces And Variables
- An Inequality with Determinants
- An Inequality with Determinants II
- An Inequality with Determinants III
- An Inequality with Determinants IV
- An Inequality with Determinants V
- An Inequality with Determinants VI
- An Inequality with Determinants VII
- An Inequality in Reciprocals
- An Inequality in Reciprocals II
- An Inequality in Reciprocals III
- Monthly Problem 11199
- A Problem from the Danubius Contest 2016
- A Problem from the Danubius-XI Contest
- An Inequality with Integrals and Rearrangement
- An Inequality with Cot, Cos, and Sin
- A Trigonometric Inequality from the RMM
- An Inequality with Finite Sums
- Hung Viet's Inequality
- Hung Viet's Inequality II
- Hung Viet's Inequality III
- Inequality by Calculus
- Dorin Marghidanu's Calculus Lemma
- An Area Inequality
- A 4-variable Inequality from the RMM
- An Inequality from RMM with Powers of 2
- A Cycling Inequality with Integrals
- A Cycling Inequality with Integrals II
- An Inequality with Absolute Values
- An Inequality from RMM with a Generic 5
- An Elementary Inequality by Non-elementary Means
- Inequality in Quadrilateral
- Marian Dinca's Refinement of Nesbitt's Inequality
- An Inequality in Cyclic Quadrilateral
- An Inequality in Cyclic Quadrilateral II
- An Inequality in Cyclic Quadrilateral III
- An Inequality in Cyclic Quadrilateral IV
- Inequality with Three Linear Constraints
- Inequality with Three Numbers, Not All Zero
- An Easy Inequality with Three Integrals
- Divide And Conquer in Cyclic Sums
- Wu's Inequality
- A Cyclic Inequality in Three Variables
- Dorin Marghidanu's Inequality in Complex Plane
- Dorin Marghidanu's Inequality in Integer Variables
- Dorin Marghidanu's Inequality in Many Variables
- Dorin Marghidanu's Inequality in Many Variables Plus Two More
- Dorin Marghidanu's Inequality with Radicals
- Dorin Marghidanu's Light Elegance in Four Variables
- Dorin Marghidanu's Spanish Problem
- Two-Sided Inequality - One Provenance
- An Inequality with Factorial
- Wonderful Inequality on Unit Circle
- Quadratic Function for Solving Inequalities
- An Inequality Where One Term Is More Equal Than Others
- An Inequality and Its Modifications
- Complicated Constraint - Simple Inequality
- Distance Inequality
- Two Products: Constraint and Inequality
- The power of substitution II: proving an inequality with three variables
- Algebraic-Geometric Inequality
- One Inequality - Two Domains
- Radicals, Radicals, And More Radicals in an Inequality
- An Inequality in Triangle and In General
- Cyclic Inequality with Square Roots
- Dan Sitaru's Cyclic Inequality In Many Variables
- An Inequality on Circumscribed Quadrilateral
- An Inequality with Fractions
- An Inequality with Complex Numbers of Unit Length
- An Inequality with Complex Numbers of Unit Length II
- Le Khanh Sy's Problem
- An Inequality Not in Triangle
- An Acyclic Inequality in Three Variables
- An Inequality with Areas, Norms, and Complex Numbers
- Darij Grinberg's Inequality In Three Variables
- Small Change Makes Big Difference
- Inequality with Two Variables? Think Again
- A Problem From a Mongolian Olympiad for Grade 11
- Sitaru--Schweitzer Inequality
- An Inequality with Cyclic Sums And Products
- Problem 1 From the 2016 Pan-African Math Olympiad
- An Inequality with Integrals and Radicals
- Twin Inequalities in Four Variables: Twin 1
- Twin Inequalities in Four Variables: Twin 2
- Simple Inequality with a Variety of Solutions
- A Partly Cyclic Inequality in Four Variables
- Dan Sitaru's Inequality by Induction
- An Inequality in Three (Or Is It Two) Variables
- An Inequality in Four Weighted Variables
- An Inequality in Fractions with Absolute Values
- Inequalities with Double And Triple Integrals
- An Old Inequality
- Dan Sitaru's Amazing, Never Ending Inequality
- Leo Giugiuc's Exercise
- Another Inequality with Logarithms, But Not Really
- A Cyclic Inequality of Degree Four
- An Inequality Solved by Changing Appearances
- Distances to Three Points on a Circle
- An Inequality with Powers And Logarithm
- Four Integrals in One Inequality
- Same Integral, Three Intervals
- Dorin Marghidanu's Inequality with Generalization
- Dan Sitaru's Inequality with Three Related Integrals and Derivatives
- An Inequality in Two Or More Variables
- An Inequality in Two Or More Variables II
- A Not Quite Cyclic Inequality
- Dan Sitaru's Inequality: From Three Variables to Many in Two Ways
- An Inequality with Sines But Not in a Triangle
- An Inequality with Angles and Integers
- Sladjan Stankovik's Inequality In Four Variables
- An Inequality with Two Pairs of Triplets
- A Refinement of Turkevich's Inequality
- Dan Sitaru's Exercise with Pi and Ln
- Problem 4165 from Crux Mathematicorum
- Leo Giugiuc's Cyclic Quickie in Four Variables
- Dan Sitaru's Cyclic Inequality in Four Variables
- A Not Quite Cyclic Inequality from Tibet
- Three Variables, Three Constraints, Two Inequalities (Only One to Prove) - by Leo Giugiuc
- An inequality in 2+2 variables from SSMA magazine
- Kunihiko Chikaya's Inequality with Parameter
- Dorin Marghidanu's Permuted Inequality

|Contact| |Front page| |Contents| |Up|

Copyright © 1996-2017 Alexander Bogomolny

62683459 |