How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
The exponential dominates every fixed nonnegative integer power at
Statement
For every and every real ,
Facts & Assumptions
Given: and .
Every term of the exponential series is nonnegative at a nonnegative argument (The real exponential function and the number by a power series).
The exponential reciprocal identity is The exponential is positive and satisfies , and limits at infinity are Limits at and , and infinite limits at a point.
Proof
For , retain term of the series at : .
Hence .
The upper bound tends to , so the quotient tends to .
Depends on
- The real exponential function and the number $e$ by a power series
- The exponential is positive and satisfies $\exp(-x)=1/\exp(x)$
- Limits at $+\infty$ and $-\infty$, and infinite limits at a point
- The factorial $n!$ and the falling factorial $n^{\underline{k}}$, defined by recursion in $\mathbb{N}$
- The canonical natural $\iota(n) = n \cdot 1_F$ of a field
- Laws of finite sums and finite products
Used by
- Polynomial and exponential minimax estimation rates Corollary
- Sharp Gaussian asymptotics under a vanishing largest weight Corollary
- A flat smooth real function has no holomorphic extension near zero Counterexample
- A smooth flat refinement has a strict minimum on every line through the origin but no local extremum Counterexample
- Backward heat amplifies small high-frequency errors Counterexample
- Finite variance does not imply a sub-Gaussian tail Counterexample
- Hadamard instability despite analytic solvability Counterexample
- Point evaluation is unbounded below the Sobolev continuity threshold Counterexample
- Smooth data do not force an analytic solution Counterexample
- The complementarity product needs extra regularity Counterexample
- The exponential is not uniformly continuous on ℝ Counterexample
- Carleson tiles wave packets and tile order Definition
- Heat balls and their time slices Definition
- The complex-time heat kernel on a proper sector Definition
- A smooth scattered surface inherits the Matérn fill-distance rate Example
- Concrete logarithmic, polynomial, and exponential growth comparisons Example
- Gaussian-kernel moments and pointwise constants Example
- Polynomial Gaussians are Schwartz Example
- The Dirichlet Laplacian generates the heat semigroup Example
- The Gaussian integral on the line with a certified sinh-sinh truncation tail Example
- The one-sided flat function is C^∞ with identically zero Taylor series Example
- The scaled Gaussian integral and its parameter derivative Example
- FALSE: every smooth map between open subsets of the plane is real analytic False statement
- FALSE: existence of partial derivatives satisfying Cauchy–Riemann everywhere on an open set implies holomorphy False statement
- A finite-array normal limit from vanishing fourth moments Lemma
- A normal variable has finite fourth moment Lemma
- A sufficiently high power regularizes finite logarithmic endpoint factors Lemma
- Continuity of finite-dimensional quantum entropy Lemma
- Cotlar's inequality for maximal truncations Lemma
- Dimension-dependent quantum entropy continuity and Holevo control Lemma
- Euclidean Gaussian transform with the 2π normalization Lemma
- Euclidean spaces admit a smooth compactly supported unit-mass bump Lemma
- Explicit compactly supported smooth cutoffs Lemma
- Explicit periodized Gaussian spread-tail bound Lemma
- Exponential decay dominates every inverse power near zero Lemma
- First and second Gaussian heat-kernel moments Lemma
- Fourier series of the periodized Gaussian Lemma
- Gaussian density integrals for supplied length measures Lemma
- Heat-ball chains reach earlier points Lemma
- Heat-ball representation formula Lemma
…and 15 more results.
Dependency tree · two levels
45 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- MIT OpenCourseWare 18.100B Real Analysis, Spring 2025 full lecture notes (standard reference, not scraped)
- J. Lebl, Basic Analysis, Logarithm and Exponential (standard reference, not scraped)
- MIT 18.102, Chapter 4 notes (standard reference, not scraped)