Wikipedia:WikiProject Mathematics/PlanetMath Exchange/26-XX Real functions

This page provides a list of all articles available at PlanetMath in the following topic:

26-XX Real functions.

This list will be periodically updated. Each entry in the list has three fields:

1. PM : The first field is the link to the PlanetMath article, along with the article's object ID.
2. WP : The second field is either a "guessed" link to a correspondingly named Wikipedia article, produced by the script which generated the list, or one or more manually entered links to the corresponding Wikipedia articles on the subject.
3. Status : The third field is the status field, which explains the current status of the entry. The recommended status entries are:

Status	means PM article
N	not needed
A	adequately covered
C	copied
M	merged
NC	needs copying
NM	needs merging

• Please update the WP and Status fields as appropriate.
• if the WP field is correct please remove the qualifier "guess".
• If the corresponding Wikipedia article exists, but the link to it is wrong, please fix the link.
• If you copy or merge an article from PlanetMath, please update the WP and Status fields for that entry.
• If you have any comments, for example, thoughts on how the PlanetMath article compares to the corresponding Wikipedia article(s), please place such comments on a new indented line following the entry. Comments of this kind are very valuable.

Don't forget to include the relevant template if you copy over text or feel like an external link is warranted

• {{planetmath|id=|title=}} for copied over text
• {{planetmath reference|id=|title=}} for an external link

See the main page for examples and usage criteria.

One can use the web-based program Pmform to convert PlanetMath articles to the Wikipedia format. As a side benefit, this tool will place the PlanetMath template for you.

26-00 General reference works (handbooks, dictionaries, bibliographies, etc.)

• PM: Borel lemma, id=6185 -- WP guess: Borel lemma -- Status:

• PM: characteristic function, id=350 -- Duplicate entry.

See 03-00 General reference works (handbooks, dictionaries, bibliographies, etc.)

• PM: completion, id=2923 -- Duplicate entry.

See 13J10 Complete rings, completion

• PM: derivative notation, id=838 -- WP guess: derivative notation -- Status:

• PM: proof that every ordered field with the least upper bound property is isomorphic to \mathbb{R}, id=5607 -- Duplicate entry.

See 12D99 Miscellaneous

• PM: every ordered field with the least upper bound property is isomorphic to the real numbers, id=5602 -- Duplicate entry.

See 12D99 Miscellaneous

• PM: function spaces, id=5556 -- Duplicate entry.

See 46-00 General reference works (handbooks, dictionaries, bibliographies, etc.)

• PM: fundamental theorems of calculus for Lebesgue integration, id=2625 -- WP guess: fundamental theorems of calculus for Lebesgue integration -- Status:

• PM: generalized mean, id=6081 -- WP guess: generalized mean -- Status:

• PM: inequalities for real numbers, id=4742 -- Duplicate entry.

See 12D99 Miscellaneous

• PM: interval, id=4446 -- Duplicate entry.

See 12D99 Miscellaneous

• PM: logarithm, id=2367 -- WP guess: logarithm -- Status:

• PM: proof of the fundamental theorem of calculus, id=4463 -- WP guess: proof of the fundamental theorem of calculus -- Status:

• PM: real number, id=454 -- Duplicate entry.

See 12D99 Miscellaneous

• PM: root-mean-square, id=3618 -- WP guess: root-mean-square -- Status:

• PM: simple function, id=2022 -- Duplicate entry.

See 03-00 General reference works (handbooks, dictionaries, bibliographies, etc.)

• PM: square, id=1087 -- Duplicate entry.

See 11-00 General reference works (handbooks, dictionaries, bibliographies, etc.)

26A06 One-variable calculus

• PM: Barb\u{a}lat's lemma, id=6552 -- WP guess: Barb\ualat's lemma -- Status:

• PM: binomial formula, id=2204 -- WP guess: binomial formula -- Status:

• PM: binomial formula for negative integer powers, id=6654 -- WP guess: binomial formula for negative integer powers -- Status:

• PM: Bolzano-Weierstrass theorem, id=2125 -- WP guess: Bolzano-Weierstrass theorem -- Status:

• PM: boundedness theorem, id=6022 -- WP guess: boundedness theorem -- Status:

• PM: chain rule, id=2561 -- WP guess: chain rule -- Status:

• PM: complex mean-value theorem, id=4543 -- WP guess: complex mean-value theorem -- Status:

• PM: complex Rolle's theorem, id=4542 -- WP guess: complex Rolle's theorem -- Status:

• PM: convergent series, id=2311 -- WP guess: convergent series -- Status:

• PM: Darboux's theorem (analysis), id=3055 -- WP guess: Darboux's theorem (analysis) -- Status:

• PM: definite integral, id=1637 -- WP guess: definite integral -- Status:

• PM: derivative of even/odd function (proof), id=4281 -- WP guess: derivative of even/odd function (proof) -- Status:

• PM: Descartes' rule of signs, id=5997 -- WP guess: Descartes' rule of signs -- Status:

• PM: direct sum of even/odd functions (example), id=4191 -- WP guess: direct sum of even/odd functions (example) -- Status:

• PM: even/odd function, id=4187 -- WP guess: even/odd function -- Status:

• PM: example of chain rule, id=2843 -- WP guess: example of chain rule -- Status:

• PM: example of increasing/decreasing/monotone function, id=4229 -- WP guess: example of increasing/decreasing/monotone function -- Status:

• PM: extended mean-value theorem, id=3478 -- WP guess: extended mean-value theorem -- Status:

• PM: extreme value theorem, id=6023 -- WP guess: extreme value theorem -- Status:

• PM: Fermat's Theorem (stationary points), id=4450 -- WP guess: Fermat's Theorem (stationary points) -- Status:

• PM: generalized Leibniz rule, id=6042 -- WP guess: generalized Leibniz rule -- Status:

• PM: harmonic number, id=3421 -- WP guess: harmonic number -- Status:

• PM: Heaviside step function, id=4476 -- WP guess: Heaviside step function -- Status:

• PM: improper limits, id=6283 -- WP guess: improper limits -- Status:

• PM: increasing/decreasing/monotone function, id=4228 -- WP guess: increasing/decreasing/monotone function -- Status:

• PM: intermediate value theorem, id=423 -- WP guess: intermediate value theorem -- Status:

• PM: Leibniz' rule, id=4388 -- WP guess: Leibniz' rule -- Status:

• PM: limit, id=2662 -- WP guess: limit -- Status:

• PM: limit rules of functions, id=6528 -- WP guess: limit rules of functions -- Status:

• PM: logarithm, id=2367 -- Duplicate entry.

See 26-00 General reference works (handbooks, dictionaries, bibliographies, etc.)

• PM: manipulating convergent series, id=6517 -- WP guess: manipulating convergent series -- Status:

• PM: mean-value theorem, id=1990 -- WP guess: mean-value theorem -- Status:

• PM: monotonicity criterion, id=4453 -- WP guess: monotonicity criterion -- Status:

• PM: nabla, id=4847 -- WP guess: nabla -- Status:

• PM: one-sided limit, id=2950 -- WP guess: one-sided limit -- Status:

• PM: product rule, id=2628 -- WP guess: product rule -- Status:

• PM: proof of binomial formula, id=2214 -- WP guess: proof of binomial formula -- Status:

• PM: proof of Bolzano-Weierstrass Theorem, id=2129 -- WP guess: proof of Bolzano-Weierstrass Theorem -- Status:

• PM: proof of chain rule, id=2978 -- WP guess: proof of chain rule -- Status:

• PM: proof of complex mean-value theorem, id=6136 -- WP guess: proof of complex mean-value theorem -- Status:

• PM: proof of Darboux's theorem, id=3056 -- WP guess: proof of Darboux's theorem -- Status:

• PM: proof of extended mean-value theorem, id=3589 -- WP guess: proof of extended mean-value theorem -- Status:

• PM: proof of Fermat's Theorem (stationary points), id=4452 -- WP guess: proof of Fermat's Theorem (stationary points) -- Status:

• PM: proof of generalized Leibniz rule, id=6128 -- WP guess: proof of generalized Leibniz rule -- Status:

• PM: proof of intermediate value theorem, id=2813 -- WP guess: proof of intermediate value theorem -- Status:

• PM: proof of mean value theorem, id=2960 -- WP guess: proof of mean value theorem -- Status:

• PM: proof of monotonicity criterion, id=4454 -- WP guess: proof of monotonicity criterion -- Status:

• PM: proof of quotient rule, id=2915 -- WP guess: proof of quotient rule -- Status:

• PM: proof of ratio test, id=2296 -- WP guess: proof of ratio test -- Status:

• PM: proof of Rolle's theorem, id=2947 -- WP guess: proof of Rolle's theorem -- Status:

• PM: proof of Simpson's rule, id=6509 -- WP guess: proof of Simpson's rule -- Status:

• PM: proof of Taylor's Theorem, id=2814 -- WP guess: proof of Taylor's Theorem -- Status:

• PM: quotient rule, id=2913 -- WP guess: quotient rule -- Status:

• PM: ratio test, id=2244 -- WP guess: ratio test -- Status:

• PM: Rolle's theorem, id=422 -- WP guess: Rolle's theorem -- Status:

• PM: signum function, id=4243 -- WP guess: signum function -- Status:

• PM: Simpson's rule, id=4335 -- WP guess: Simpson's rule -- Status:

• PM: sinc function, id=5744 -- WP guess: sinc function -- Status:

• PM: Sturm's theorem, id=6013 -- Duplicate entry.

See 11A05 Multiplicative structure; Euclidean algorithm; greatest common divisors

• PM: sum of series depends on order, id=6520 -- WP guess: sum of series depends on order -- Status:

26A09 Elementary functions

• PM: area functions, id=5834 -- WP guess: area functions -- Status:

• PM: characteristic function, id=350 -- Duplicate entry.

See 03-00 General reference works (handbooks, dictionaries, bibliographies, etc.)

• PM: complex sine and cosine, id=6398 -- WP guess: complex sine and cosine -- Status:

• PM: cyclometric functions, id=6169 -- WP guess: cyclometric functions -- Status:

• PM: definitions in trigonometry, id=4676 -- WP guess: definitions in trigonometry -- Status:

• PM: derivatives of hyperbolic functions, id=6083 -- WP guess: derivatives of hyperbolic functions -- Status:

• PM: hyperbolic functions, id=2905 -- WP guess: hyperbolic functions -- Status:

• PM: logarithm, id=2367 -- Duplicate entry.

See 26-00 General reference works (handbooks, dictionaries, bibliographies, etc.)

• PM: Prosthaphaeresis formulas, id=6121 -- WP guess: Prosthaphaeresis formulas -- Status:

• PM: simple function, id=2022 -- Duplicate entry.

See 03-00 General reference works (handbooks, dictionaries, bibliographies, etc.)

• PM: Taylor series of arcus sine, id=6527 -- Duplicate entry.

See 05A10 Factorials, binomial coefficients, combinatorial functions

26A12 Rate of growth of functions, orders of infinity, slowly varying functions

• PM: Landau notation, id=90 -- WP guess: Landau notation -- Status:

• PM: quasisymmetric mapping, id=5516 -- WP guess: quasisymmetric mapping -- Status:

26A15 Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.)

• PM: continuity of composition of functions, id=5443 -- WP guess: continuity of composition of functions -- Status:

• PM: continuous, id=439 -- WP guess: continuous -- Status:

• PM: Dirichlet's function, id=3639 -- WP guess: Dirichlet's function -- Status:

• PM: discontinuous, id=4447 -- WP guess: discontinuous -- Status:

• PM: function continuous at only one point, id=6629 -- WP guess: function continuous at only one point -- Status:

• PM: limit function of sequence, id=6209 -- WP guess: limit function of sequence -- Status:

• PM: proof of Weierstrass' criterion of uniform convergence, id=6394 -- WP guess: proof of Weierstrass' criterion of uniform convergence -- Status:

• PM: quasisymmetric mapping, id=5516 -- Duplicate entry.

See 26A12 Rate of growth of functions, orders of infinity, slowly varying functions

• PM: restriction of a continuous mapping is continuous, id=4690 -- WP guess: restriction of a continuous mapping is continuous -- Status:

• PM: semi-continuous, id=3069 -- WP guess: semi-continuous -- Status:

• PM: semicontinuous, id=4844 -- WP guess: semicontinuous -- Status:

• PM: sum function of series, id=6223 -- WP guess: sum function of series -- Status:

• PM: termwise differentiation, id=6231 -- WP guess: termwise differentiation -- Status:

• PM: uniformly continuous, id=3068 -- WP guess: uniformly continuous -- Status:

• PM: Weierstrass function, id=1181 -- WP guess: Weierstrass function -- Status:

• PM: Weierstrass' criterion of uniform convergence, id=6225 -- WP guess: Weierstrass' criterion of uniform convergence -- Status:

26A16 Lipschitz (Hölder) classes

• PM: Lipschitz condition, id=765 -- WP guess: Lipschitz condition -- Status:

• PM: Lipschitz condition and differentiability, id=776 -- WP guess: Lipschitz condition and differentiability -- Status:

• PM: Lipschitz condition and differentiability result, id=4145 -- WP guess: Lipschitz condition and differentiability result -- Status:

• PM: Lipschitz function, id=5054 -- WP guess: Lipschitz function -- Status:

26A18 Iteration

• PM: iteration, id=3027 -- WP guess: iteration -- Status:

• PM: periodic point, id=3026 -- WP guess: periodic point -- Status:

26A24 Differentiation (functions of one variable): general theory, generalized derivatives, mean-value theorems

• PM: derivative, id=2975 -- Duplicate entry.

See 46G05 Derivatives

• PM: derivative of Riemann integral, id=6155 -- WP guess: derivative of Riemann integral -- Status:

• PM: differentiable function, id=2919 -- WP guess: differentiable function -- Status:

• PM: differentiable functions are continuous, id=6154 -- WP guess: differentiable functions are continuous -- Status:

• PM: example of differentiable function which is not continuously differentiable, id=5597 -- WP guess: example of differentiable function which is not continuously differentiable -- Status:

• PM: higher order derivatives of sine and cosine, id=6395 -- Duplicate entry.

See 46G05 Derivatives

• PM: l'Hôpital's rule, id=2657 -- WP guess: l'Hôpital's rule -- Status:

• PM: Leibniz notation, id=2750 -- WP guess: Leibniz notation -- Status:

• PM: proof of De l'Hôpital's rule, id=3930 -- WP guess: proof of De l'Hôpital's rule -- Status:

• PM: proof of power rule, id=2631 -- WP guess: proof of power rule -- Status:

• PM: proof of product rule, id=2629 -- WP guess: proof of product rule -- Status:

• PM: proof of sum rule, id=2638 -- WP guess: proof of sum rule -- Status:

• PM: related rates, id=3054 -- WP guess: related rates -- Status:

• PM: sum rule, id=2637 -- WP guess: sum rule -- Status:

• PM: tangent line, id=6511 -- WP guess: tangent line -- Status:

26A27 Nondifferentiability (nondifferentiable functions, points of nondifferentiability), discontinuous derivatives

• PM: Weierstrass function, id=1181 -- Duplicate entry.

See 26A15 Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.)

26A30 Singular functions, Cantor functions, functions with other special properties

• PM: Cantor function, id=5554 -- WP guess: Cantor function -- Status:

• PM: Dirac sequence, id=5623 -- WP guess: Dirac sequence -- Status:

• PM: Dirichlet kernel, id=5629 -- WP guess: Dirichlet kernel -- Status:

• PM: example of a strictly increasing quasisymmetric singular function, id=5603 -- WP guess: example of a strictly increasing quasisymmetric singular function -- Status:

• PM: Fejer kernel, id=5630 -- WP guess: Fejer kernel -- Status:

• PM: Landau kernel, id=5624 -- WP guess: Landau kernel -- Status:

• PM: singular function, id=5548 -- WP guess: singular function -- Status:

26A36 Antidifferentiation

• PM: antiderivative, id=1631 -- WP guess: antiderivative -- Status:

• PM: integration by parts, id=2683 -- WP guess: integration by parts -- Status:

• PM: integration of differential binomial, id=6408 -- WP guess: integration of differential binomial -- Status:

• PM: integrations by parts for the Lebesgue integral, id=4449 -- WP guess: integrations by parts for the Lebesgue integral -- Status:

• PM: substitution for integration, id=6114 -- WP guess: substitution for integration -- Status:

• PM: Taylor series of arcus sine, id=6527 -- Duplicate entry.

See 05A10 Factorials, binomial coefficients, combinatorial functions

26A42 Integrals of Riemann, Stieltjes and Lebesgue type

• PM: continuous functions are Riemann integrable, id=4461 -- WP guess: continuous functions are Riemann integrable -- Status:

• PM: derivative of Riemann integral, id=6155 -- Duplicate entry.

See 26A24 Differentiation (functions of one variable): general theory, generalized derivatives, mean-value theorems

• PM: fundamental theorem of calculus, id=5660 -- WP guess: fundamental theorem of calculus -- Status:

• PM: generalized Riemann integral, id=4328 -- WP guess: generalized Riemann integral -- Status:

• PM: Lebesgue integral, id=1920 -- WP guess: Lebesgue integral -- Status:

• PM: Lebesgue measure, id=348 -- WP guess: Lebesgue measure -- Status:

• PM: monotone convergence theorem, id=3106 -- WP guess: monotone convergence theorem -- Status:

• PM: proof of continuous functions are Riemann integrable, id=4462 -- WP guess: proof of continuous functions are Riemann integrable -- Status:

• PM: proof of monotone convergence theorem, id=4075 -- WP guess: proof of monotone convergence theorem -- Status:

• PM: quadrature, id=1286 -- WP guess: quadrature -- Status:

• PM: Riemann sum, id=368 -- WP guess: Riemann sum -- Status:

• PM: Riemann-Stieltjes integral, id=3187 -- WP guess: Riemann-Stieltjes integral -- Status:

• PM: uniform convergence of integral, id=6277 -- WP guess: uniform convergence of integral -- Status:

26A51 Convexity, generalizations

• PM: convex function, id=231 -- WP guess: convex function -- Status:

• PM: logarithmically convex function, id=5664 -- WP guess: logarithmically convex function -- Status:

26A99 Miscellaneous

• PM: addition formula, id=6374 -- WP guess: addition formula -- Status:

• PM: analytic, id=1147 -- WP guess: analytic -- Status:

• PM: elementary function, id=6420 -- WP guess: elementary function -- Status:

• PM: infinitely-differentiable function that is not analytic, id=3081 -- WP guess: infinitely-differentiable function that is not analytic -- Status:

• PM: power function, id=6421 -- WP guess: power function -- Status:

• PM: real function, id=6218 -- WP guess: real function -- Status:

26B05 Continuity and differentiation questions

• PM: C^\infty_0(U) is not empty, id=4422 -- WP guess: C^\infty_0(U) is not empty -- Status:

• PM: derivative, id=2975 -- Duplicate entry.

See 46G05 Derivatives

• PM: higher order derivatives of sine and cosine, id=6395 -- Duplicate entry.

See 46G05 Derivatives

• PM: Rademacher's theorem, id=4128 -- WP guess: Rademacher's theorem -- Status:

• PM: sense-preserving mapping, id=5546 -- WP guess: sense-preserving mapping -- Status:

• PM: smooth functions with compact support, id=4423 -- WP guess: smooth functions with compact support -- Status:

• PM: tangent line, id=6511 -- Duplicate entry.

See 26A24 Differentiation (functions of one variable): general theory, generalized derivatives, mean-value theorems

26B10 Implicit function theorems, Jacobians, transformations with several variables

• PM: directional derivative, id=847 -- WP guess: directional derivative -- Status:

• PM: gradient, id=892 -- WP guess: gradient -- Status:

• PM: implicit differentiation, id=2660 -- WP guess: implicit differentiation -- Status:

• PM: implicit function theorem, id=3347 -- WP guess: implicit function theorem -- Status:

• PM: Jacobian matrix, id=842 -- WP guess: Jacobian matrix -- Status:

• PM: proof of implicit function theorem, id=4113 -- WP guess: proof of implicit function theorem -- Status:

26B12 Calculus of vector functions

• PM: chain rule (several variables), id=2798 -- WP guess: chain rule (several variables) -- Status:

• PM: Clairaut's theorem, id=4642 -- WP guess: Clairaut's theorem -- Status:

• PM: directional derivative, id=847 -- Duplicate entry.

See 26B10 Implicit function theorems, Jacobians, transformations with several variables

• PM: divergence, id=3271 -- WP guess: divergence -- Status:

• PM: extremum, id=3373 -- WP guess: extremum -- Status:

• PM: Fubini's theorem, id=4307 -- WP guess: Fubini's theorem -- Status:

• PM: Generalised N-dimensional Riemann Sum, id=4270 -- WP guess: Generalised N-dimensional Riemann Sum -- Status:

• PM: Generalized N-dimensional Riemann Integral, id=4271 -- WP guess: Generalized N-dimensional Riemann Integral -- Status:

• PM: gradient, id=892 -- Duplicate entry.

See 26B10 Implicit function theorems, Jacobians, transformations with several variables

• PM: Helmholtz equation, id=3592 -- WP guess: Helmholtz equation -- Status:

• PM: Hessian matrix, id=3370 -- WP guess: Hessian matrix -- Status:

• PM: irrotational field, id=3591 -- WP guess: irrotational field -- Status:

• PM: Jordan Content of an N-cell, id=4269 -- WP guess: Jordan Content of an N-cell -- Status:

• PM: laminar field, id=6360 -- WP guess: laminar field -- Status:

• PM: Laplace equation, id=3593 -- WP guess: Laplace equation -- Status:

• PM: limit, id=2662 -- Duplicate entry.

See 26A06 One-variable calculus

• PM: minimal and maximal number, id=6118 -- Duplicate entry.

See 03E04 Ordered sets and their cofinalities; pcf theory

• PM: partial derivative, id=841 -- WP guess: partial derivative -- Status:

• PM: plateau, id=3374 -- WP guess: plateau -- Status:

• PM: proof of Green's theorem, id=2690 -- WP guess: proof of Green's theorem -- Status:

• PM: regularity theorem for the Laplace equation, id=6655 -- WP guess: regularity theorem for the Laplace equation -- Status:

• PM: relations between Hessian matrix and local extrema, id=3375 -- WP guess: relations between Hessian matrix and local extrema -- Status:

• PM: solenoidal field, id=3590 -- WP guess: solenoidal field -- Status:

26B15 Integration: length, area, volume

• PM: arc length, id=1090 -- WP guess: arc length -- Status:

26B20 Integral formulas (Stokes, Gauss, Green, etc.)

• PM: Green's theorem, id=1678 -- WP guess: Green's theorem -- Status:

26B25 Convexity, generalizations

• PM: convex function, id=231 -- Duplicate entry.

See 26A51 Convexity, generalizations

• PM: extremal value of convex/concave functions, id=4165 -- WP guess: extremal value of convex/concave functions -- Status:

26B30 Absolutely continuous functions, functions of bounded variation

• PM: absolutely continuous function, id=4448 -- WP guess: absolutely continuous function -- Status:

• PM: integrations by parts for the Lebesgue integral, id=4449 -- Duplicate entry.

See 26A36 Antidifferentiation

• PM: total variation, id=3996 -- WP guess: total variation -- Status:

26B40 Representation and superposition of functions

• PM: Borel lemma, id=6185 -- Duplicate entry.

See 26-00 General reference works (handbooks, dictionaries, bibliographies, etc.)

26B99 Miscellaneous

• PM: derivation of zeroth weighted power mean, id=3620 -- WP guess: derivation of zeroth weighted power mean -- Status:

• PM: weighted power mean, id=267 -- WP guess: weighted power mean -- Status:

26C10 Polynomials: location of zeros

• PM: Descartes' rule of signs, id=5997 -- Duplicate entry.

See 26A06 One-variable calculus

26C15 Rational functions

• PM: l'Hôpital's rule, id=2657 -- Duplicate entry.

See 26A24 Differentiation (functions of one variable): general theory, generalized derivatives, mean-value theorems

• PM: partial fractions of expressions, id=5812 -- WP guess: partial fractions of expressions -- Status:

• PM: partial fractions of expressions and partition problems (recreational), id=6645 -- WP guess: partial fractions of expressions and partition problems (recreational) -- Status:

• PM: proof of De l'Hôpital's rule, id=3930 -- Duplicate entry.

See 26A24 Differentiation (functions of one variable): general theory, generalized derivatives, mean-value theorems

• PM: rational function, id=4300 -- WP guess: rational function -- Status:

26C99 Miscellaneous

• PM: Laguerre polynomial, id=2753 -- WP guess: Laguerre polynomial -- Status:

26D05 Inequalities for trigonometric functions and polynomials

• PM: Jordan's inequality, id=13 -- WP guess: Jordan's inequality -- Status:

• PM: proof of Jordan's Inequality, id=3585 -- WP guess: proof of Jordan's Inequality -- Status:

• PM: Shapiro inequality, id=4404 -- WP guess: Shapiro inequality -- Status:

• PM: Weierstrass product inequality, id=4744 -- WP guess: Weierstrass product inequality -- Status:

26D10 Inequalities involving derivatives and differential and integral operators

• PM: Gronwall's lemma, id=3901 -- WP guess: Gronwall's lemma -- Status:

• PM: proof of Gronwall's lemma, id=3902 -- WP guess: proof of Gronwall's lemma -- Status:

26D15 Inequalities for sums, series and integrals

• PM: arithmetic mean, id=405 -- Duplicate entry.

See 11-00 General reference works (handbooks, dictionaries, bibliographies, etc.)

• PM: arithmetic-geometric-harmonic means inequality, id=25 -- WP guess: arithmetic-geometric-harmonic means inequality -- Status:

• PM: Carleman's inequality, id=4405 -- WP guess: Carleman's inequality -- Status:

• PM: Chebyshev's inequality, id=277 -- WP guess: Chebyshev's inequality -- Status:

• PM: derivation of geometric mean as the limit of the power mean, id=5741 -- WP guess: derivation of geometric mean as the limit of the power mean -- Status:

• PM: general means inequality, id=2934 -- WP guess: general means inequality -- Status:

• PM: Jensen's inequality, id=234 -- WP guess: Jensen's inequality -- Status:

• PM: MacLaurin's Inequality, id=3835 -- WP guess: MacLaurin's Inequality -- Status:

• PM: Minkowski inequality, id=230 -- WP guess: Minkowski inequality -- Status:

• PM: Muirhead's theorem, id=3736 -- WP guess: Muirhead's theorem -- Status:

• PM: power mean, id=266 -- WP guess: power mean -- Status:

• PM: proof of arithmetic-geometric means inequality, id=6482 -- WP guess: proof of arithmetic-geometric means inequality -- Status:

• PM: proof of arithmetic-geometric-harmonic means inequality, id=2970 -- WP guess: proof of arithmetic-geometric-harmonic means inequality -- Status:

• PM: proof of arithmetic-geometric-harmonic means inequality, id=3013 -- WP guess: proof of arithmetic-geometric-harmonic means inequality -- Status:

• PM: proof of Chebyshev's inequality, id=3582 -- WP guess: proof of Chebyshev's inequality -- Status:

• PM: proof of general means inequality, id=3619 -- WP guess: proof of general means inequality -- Status:

• PM: proof of Jensen's inequality, id=3060 -- WP guess: proof of Jensen's inequality -- Status:

• PM: proof of Minkowski inequality, id=2987 -- WP guess: proof of Minkowski inequality -- Status:

• PM: proof of rearrangement inequality, id=3583 -- WP guess: proof of rearrangement inequality -- Status:

• PM: proof of Young's inequality by picture, id=5575 -- WP guess: proof of Young's inequality by picture -- Status:

• PM: rearrangement inequality, id=276 -- WP guess: rearrangement inequality -- Status:

• PM: root-mean-square, id=3618 -- Duplicate entry.

See 26-00 General reference works (handbooks, dictionaries, bibliographies, etc.)

• PM: Schur's inequality, id=3836 -- WP guess: Schur's inequality -- Status:

• PM: Shur's inequality, id=4410 -- Duplicate entry.

See 15A42 Inequalities involving eigenvalues and eigenvectors

• PM: Young's inequality, id=3834 -- WP guess: Young's inequality -- Status:

26D99 Miscellaneous

• PM: Bernoulli's inequality, id=275 -- WP guess: Bernoulli's inequality -- Status:

• PM: majorization, id=6043 -- WP guess: majorization -- Status:

• PM: proof of Bernoulli's inequality, id=2900 -- WP guess: proof of Bernoulli's inequality -- Status:

26E35 Nonstandard analysis

• PM: construction of Dirac delta function, id=2848 -- WP guess: construction of Dirac delta function -- Status:

• PM: hyperreal, id=2847 -- WP guess: hyperreal -- Status:

26E60 Means

• PM: arithmetic-geometric mean, id=5893 -- WP guess: arithmetic-geometric mean -- Status:

• PM: spherical mean, id=5568 -- WP guess: spherical mean -- Status:

26E99 Miscellaneous

• PM: e is not a quadratic irrational, id=5426 -- Duplicate entry.

See 11J72 Irrationality; linear independence over a field

• PM: zero of a function, id=4921 -- WP guess: zero of a function -- Status: