| 191 | Supremum and infimum | Easy | Lemma | SupremumInfimum | |
| 495 | The least upper bound of a set | Easy | Lemma | The real numbers | |
| 496 | An infimum never reached | Easy | Lemma | The real numbers | |
| 497 | The square root of two is irrational | Easy | Classical | The real numbers | |
| 498 | Minimise a sum of distances | Easy | Lemma | The real numbers | |
| 499 | Integers in an interval | Easy | Lemma | The real numbers | |
| 500 | How large must n be? | Easy | Lemma | The real numbers | |
| 1679 | Limit of rational function at minus one | Easy | Hall & Knight | limitsrational functions+1 | |
| 1682 | Limit of generalized exponential difference | Easy | Hall & Knight | limitsderivatives | |
| 1876 | Limit at Infinity for Rational Function | Easy | Hall & Knight | limitsrational functions | |
| 1877 | Limit at Infinity of Squared Polynomial Ratio | Easy | Hall & Knight | limitsrational functions | |
| 1878 | Limit at Infinity for Cubic Rational Function | Easy | Hall & Knight | limitsrational functions | |
| 1879 | Limit at Infinity for Cubic Product over Cubic | Easy | Hall & Knight | limitsrational functions | |
| 192 | A rational in every gap | Medium | Lemma | Archimedean propertyDensity | |
| 1680 | Limit of exponential difference quotient | Medium | Hall & Knight | limitsexponential functions+1 | |
| 1681 | Limit involving exponentials and logarithm | Medium | Hall & Knight | limitsL'Hopital's rule+1 | |
| 1684 | Limit of logarithmic function over polynomial | Medium | Hall & Knight | limitslogarithms+1 | |
| 1685 | Limit of a Logarithmic Fraction | Medium | Hall & Knight | LimitsL'Hopital's Rule+1 | |
| 1686 | Limit with Algebraic Surds | Medium | Hall & Knight | LimitsRationalization+1 | |
| 1687 | Limit Involving Square Roots at Zero | Medium | Hall & Knight | LimitsRationalization | |
| 1689 | Limit Involving Logarithm and e | Medium | Hall & Knight | LimitsLogarithmic Properties | |
| 1690 | Limit of a Power Root | Medium | Hall & Knight | LimitsExponential Limits | |
| 1880 | Limit at Infinity of Rational Division | Medium | Hall & Knight | limitsrational functions | |
| 1881 | Limit at Infinity for Degree-3 over Degree-4 Rational Function | Medium | Hall & Knight | limitsrational functions | |
| 1683 | Limit of radical expression | Deep | Hall & Knight | limitsradicals+1 | |
| 1688 | Limit of an Exponential Expression | Deep | Hall & Knight | LimitsEuler's Number e | |