For independent identically distributed traffic increments and constant service $C$, let $a(s)=\mathbb{E}[e^{s(X-C)}]$. If $a(s)<1$, apply the Chernoff bound at each candidate workload window and sum a geometric series. This bounds the stationary random-walk supremum. It explains the effective bandwidth criterion $\alpha (s)<C$ and distinguishes a queue's infinite-horizon overflow event from a single-window traffic event.

Fix an odd cycle length. If the graph has edge density at least $1/2-ϵ$ and sufficiently few copies of that cycle, odd-cycle copies from positive triangle density forces few triangles in a graph. The triangle removal lemma deletes at most $ϵ\left(\genfrac{}{}{0ex}{}{n}{2}\right)$ edges, after which the clique-free edit bound applies with two parts. Absorbing its linear rounding error into the density margin gives the displayed bound for large order.

This factor is the ratio of acceleration due to electron-scattering opacity to gravitational acceleration in a spherical luminous star. The remaining effective gravity is approximately $GM(1-{\Gamma }_e)/R^2$ when other radiative forces are neglected. Being below the electron-scattering limit does not preclude a line-driven stellar wind, because additional opacity can provide more acceleration.

For $n\ge 1$, pointwise multiplication of based cube maps into a topological group induces the ordinary addition in its homotopy group ${\pi }_n(G,e)$. Concatenation and pointwise multiplication share an identity and satisfy the interchange rule, so the Eckmann-Hilton argument identifies the two operations. In particular, the $m$-th power map induces multiplication by $m$ on every homotopy group, for all integers $m$.

For a separated dual pair, the continuous linear functionals for its weak topology are exactly evaluations by members of the paired space. Continuity bounds a functional on a neighbourhood defined by finitely many evaluations; scalar rescaling makes it vanish on their common kernel. It then factors through their finite-dimensional evaluation map and is a finite linear combination of them.

For a centered square-integrable martingale with $v=\mathbb{E}{M}_n^2$ and $\lambda >0$, apply the Doob maximal inequality for a nonnegative submartingale to $(M_k+c{)}^2$ for $c\ge 0$. Conditional Jensen inequality gives the submartingale property, and crossing $\lambda$ forces its square above $(\lambda +c{)}^2$. The bound $(v+c^2)/(\lambda +c{)}^2$ is minimized by $c=v/\lambda$. This extends the Cantelli inequality from one random variable to a martingale maximum, without requiring independent increments.

For a random walk with independent identically distributed steps of mean zero and variance one, the Donsker invariance principle and the continuous mapping theorem for integration give this limit. The integral of the polygonal interpolation differs from the right-endpoint sum by $S_n/(2n^{3/2})$, whose squared expectation is $1/(4n^2)$. The Slutsky theorem removes that error. The limiting variable is the time-one value of integrated Brownian motion, with law $N(0,1/3)$.

For a random walk with centered independent identically distributed increments of variance one, the maximum of its polygonal interpolation is the maximum at its grid vertices. The maximum functional is Lipschitz for the supremum norm, so the continuous mapping theorem applied to the Donsker invariance principle proves the displayed convergence in distribution. The Brownian reflection principle then gives upper-tail limits $2(1-\Phi (a))$ at all $a>0$, since the limiting maximum has no atom there.

For an elliptic curve over an algebraically closed field, ${\mathrm{Pic}}^0(E)\cong E(k)$ via $P\mapsto [P-O]$. This group is infinite and divisible by any prime $\ell$ different from the characteristic, since $[\ell ]:E\to E$ has nonzero derivative and is a surjective morphism of projective curves. A finitely generated abelian group divisible by $\ell$ has zero free rank and is finite. Hence $E(k)$, and therefore $\mathrm{Cl}(E)$, cannot be finitely generated. This proof applies to countable algebraically closed fields as well.

For a finite morphism between Noetherian schemes, a quasi-coherent sheaf is coherent exactly when its direct image sheaf is coherent. Over an affine target chart, let $B$ be the finite algebra over the target ring $A$, and let $M$ represent the sheaf on $\mathrm{Spec}B$. Finite generation of $M$ over $A$ implies finite generation over $B$, using the same generators; finite generation over $B$ implies finite generation over $A$ because $B$ is finite over $A$.

For an irreducible closed subvariety $Y$ of an irreducible variety $X$, its codimension is $\dim X-\dim Y$. In an affine chart it also equals the height of the corresponding prime ideal, by the dimension formula for finite-type domains over a field.

The Krull dimension of ${\mathcal{O}}_{X,x}$ at a point $x$. For a closed point of an irreducible affine variety it equals $\dim X$, by the closed-point dimension lemma for affine domains. At a generic point of a codimension-one subvariety the local dimension is one.

A smooth map between smooth manifolds with zero differential is locally constant: each target coordinate function has zero derivatives on a sufficiently small source coordinate ball. Integration along straight segments proves constancy there. Its fibers are open and closed, so a connected source makes the map constant globally.

If a differentiable map $F$ takes values in a level set of a differentiable scalar function $H$, the chain rule gives $D{H}_{F(x)}D{F}_x=0$. At a regular point, the image of the derivative lies in the kernel of the nonzero covector $DH$: the tangent space of the level set. For a map into the unit circle this forces rank at most one.

Functions whose differentials are linearly independent at the point in question. For $F=(F_1,\dots ,F_r)$ this means the derivative has rank $r$, so $F$ is a submersion there. The condition is open. It is distinct from global algebraic independence of functions.

The DIC effective parameter count compares mean Bayesian deviance with deviance at the posterior mean. It need not be an integer or equal the number of coefficients. Interpretation depends on the parameterization and the chosen observational likelihood; nuisance intercepts count when they appear in that likelihood.

Every integer $m$ is the mapping degree of a continuous map $S^n\to S^n$ in every dimension $n\ge 1$. Start with the circle map $z\mapsto z^m$, whose argument winds $m$ times, and use degree under suspension repeatedly. Negative $m$ reverses the winding, and $m=0$ is constant before suspending. The degrees of maps of the zero-sphere are a genuine exceptional case.

For maps between oriented connected closed manifolds of the same dimension, a homotopy induces equal maps on top-dimensional homology, hence equal coefficients on the fundamental class. For smooth maps and a smooth homotopy, the degree by integration of a pullback volume form gives another proof: the Generalized Stokes theorem on the homotopy cylinder makes the difference of endpoint pullback integrals zero because the target top form is closed. This is an obstruction to extending a degree-one sphere identity over a ball.

For maps of oriented connected closed manifolds of the same dimension, apply functoriality of homology to $f_{\ast }[M]=(\mathrm{deg}f)[N]$ and $g_{\ast }[N]=(\mathrm{deg}g)[L]$. The composite coefficient is their product. This recovers the multiplication of signed sheet counts for compositions of finite covering maps.

For $k\ge 1$, the power map has $k$ distinct preimages of every nonzero finite regular value, all with positive local degree of a map between oriented manifolds. Integrating the pullback of a differential form of $\Omega =id\zeta \wedge d\bar{\zeta }/(1+|\zeta {|}^2{)}^2$ gives the same answer, since $\int \Omega =2\pi$ and $\int f^{\ast }\Omega =2\pi k$. For $k=0$ use the constant extension $1$ at infinity; its degree of a map between oriented manifolds is zero.