| 6 | The mean of two | Easy | Lemma | AM–GMSquares are nonnegative | |
| 766 | Smallest integer solution | Easy | Lemma | Inequalities | |
| 767 | x plus its reciprocal | Easy | Lemma | Inequalities | |
| 768 | Squares below nine | Easy | Lemma | Inequalities | |
| 1644 | Positive inequality product | Easy | Hall & Knight | InequalitiesAM-GM inequality | |
| 1645 | Symmetric triple sum product | Easy | Hall & Knight | InequalitiesAM-GM inequality | |
| 1646 | Quantity and reciprocal sum | Easy | Hall & Knight | InequalitiesReciprocals | |
| 1647 | Cauchy-Schwarz case for two variables | Easy | Hall & Knight | InequalitiesCauchy-Schwarz | |
| 1648 | Cauchy-Schwarz case for three variables | Easy | Hall & Knight | InequalitiesCauchy-Schwarz | |
| 1652 | Symmetric Inequality | Easy | Hall & Knight | InequalitiesRearrangement Inequality | |
| 1657 | Cube of Sum Inequality | Easy | Hall & Knight | AM-GM inequalityInequalities | |
| 1672 | Logarithm bounds | Easy | Hall & Knight | InequalitiesLogarithms | |
| 1872 | Minimum sum of reciprocals | Easy | Hall & Knight | InequalitiesAM-GM inequality | |
| 1649 | Exponential and logarithmic inequalities | Medium | Hall & Knight | InequalitiesLogarithms+1 | |
| 1650 | Algebraic Inequality Product | Medium | Hall & Knight | InequalitiesAM-GM inequality | |
| 1651 | Comparing Two Expressions | Medium | Hall & Knight | InequalitiesComparison | |
| 1653 | Sum of Products Inequality | Medium | Hall & Knight | InequalitiesAM-GM inequality | |
| 1654 | Squares Inequality | Medium | Hall & Knight | InequalitiesSum of Squares | |
| 1655 | Inequality with Cubics | Medium | Hall & Knight | InequalitiesFactoring | |
| 1656 | Range for an Inequality | Medium | Hall & Knight | InequalitiesCubic polynomials | |
| 1658 | Power and Odd Product Inequality | Medium | Hall & Knight | InequalitiesAM-GM inequality | |
| 1661 | Maximum value of a product of powers | Medium | Hall & Knight | Maximum and minimumAM-GM inequality | |
| 1662 | Minimum value of a rational expression | Medium | Hall & Knight | Maximum and minimumAlgebraic manipulation | |
| 1663 | Fourth Power Inequality | Medium | Hall & Knight | InequalitiesPower Means | |
| 1664 | Sum of Cubes Inequality | Medium | Hall & Knight | InequalitiesMathematical Induction+1 | |
| 1668 | Weighted Power Inequality | Medium | Hall & Knight | InequalitiesWeighted Means+1 | |
| 1669 | Logarithmic inequality for powers | Medium | Hall & Knight | InequalitiesLogarithms+1 | |
| 1670 | Fractional power inequality | Medium | Hall & Knight | InequalitiesSequences & series | |
| 1671 | Harmonic progression power inequality | Medium | Hall & Knight | InequalitiesHarmonic progression | |
| 1673 | Cauchy-Schwarz Inequality Application | Medium | Hall & Knight | InequalitiesCauchy-Schwarz | |
| 1674 | Positivity of Symmetric Expressions | Medium | Hall & Knight | PolynomialsSymmetric polynomials+1 | |
| 1675 | Power Inequality for Exponents | Medium | Hall & Knight | ExponentsInequalities+1 | |
| 1676 | Weighted Arithmetic Mean Inequality | Medium | Hall & Knight | LogarithmsAM-GM inequality+1 | |
| 1677 | Factorial Product Inequality | Medium | Hall & Knight | FactorialsAM-GM inequality+1 | |
| 1866 | Factorial and Power Inequality | Medium | Hall & Knight | InequalitiesFactorials | |
| 1867 | Product and Power Inequality | Medium | Hall & Knight | InequalitiesArithmetic-Geometric Mean Inequality | |
| 1868 | Cubic variables inequality first part | Medium | Hall & Knight | InequalitiesAM-GM inequality | |
| 1869 | Cubic variables inequality second part | Medium | Hall & Knight | Inequalities | |
| 1870 | Maximum of a polynomial product | Medium | Hall & Knight | InequalitiesMaxima and minima | |
| 1871 | Maximum of a fractional power product | Medium | Hall & Knight | InequalitiesMaxima and minima | |
| 1873 | Product inequality from sum constraint | Medium | Hall & Knight | InequalitiesAM-GM inequality | |
| 47 | Three fractions, at least three | Deep | Lemma | AM–GMProducts telescoping | |
| 50 | A dot product can't be too big | Deep | Lemma | Cauchy–SchwarzSquares are nonnegative | |
| 971 | Inequality for four continued proportionals | Deep | Hall & Knight | proportioninequality | |
| 1659 | Inequality with powers and roots | Deep | Hall & Knight | InequalitiesMathematical Induction | |
| 1660 | Factorial inequality | Deep | Hall & Knight | InequalitiesFactorials+1 | |
| 1665 | Sum of Even Powers | Deep | Hall & Knight | InequalitiesHölder's Inequality+1 | |
| 1666 | Growth of Exponential Expressions | Deep | Hall & Knight | InequalitiesCalculus+1 | |
| 1667 | Descending Variables Inequality | Deep | Hall & Knight | InequalitiesLogarithmic Convexity | |
| 1678 | Minimum product of factorials | Deep | Hall & Knight | factorialinequalities+1 | |
| 1874 | Triangle Side Quadratic Non-negativity | Deep | Hall & Knight | TrianglesQuadratic forms+1 | |
| 1875 | Triangle Side Expression Sign Constraint | Deep | Hall & Knight | TrianglesQuadratic forms+1 | |
| 1899 | An inequality with positive numbers | Deep | Hall & Knight | Logarithmic inequalitiesAM-GM inequality | |