Petri Mengoli Fraction Inequality
In my previous post, "On the Addition of Fractions, by Petri Mengoli", I wrote that the following inequality holds, with no proof:
If we don't assume a specific value for the numerator of the right hand side of the inequality, we can derive the inequality by starting with
Multiply through by :
Set a common denominator for the left hand side:
Expanding the expression
And simplifying
We notice that when , the left hand side of the expression is always positive.
If we let , then we see that
through the use of L'Hospital's rule. We find that as , the value of n is always positive and a value greater than 2.
If we slightly re-arrange, we find the following:
And now knowing that the left hand side approaches 3 from above as , we know that can be set to as the largest value that still satisfies the expression.
Hence, we find that the original inequality posited holds.