The stated bound is Lipschitz continuity with constant . For every and every , taking ensures whenever . The same works at every point, so is both continuous and uniformly continuous.
For an integer , partition into equal intervals and define a step function
At the remaining endpoint set , so the final interval may be taken closed on the right. The Lipschitz bound gives
Choosing proves the requested uniform step approximation on a compact interval:
A sufficiently fine partition gives a piecewise constant approximation uniformly over the whole interval.
The continuous function and every finite step function are Riemann integrable. Put . Integrating each constant piece explicitly gives
Since the sine differences have absolute value at most , the triangle inequality and uniform approximation give
To prove convergence, fix and first choose with . With this held fixed, the finite number is independent of , so the second term is also less than for sufficiently large . Therefore
First make the approximation error small, then let the oscillation frequency grow. This is the step-function proof of the Riemann-Lebesgue lemma; it does not require assuming that a Lipschitz function has an everywhere-defined derivative.
The Rolle theorem states that if a real function is continuous on , differentiable on , and has equal endpoint values, then its derivative vanishes somewhere in . Order the distinct real roots as . The theorem gives a root of in each interval . These intervals are disjoint, so the obtained roots are distinct:
We prove the requested bound for positive roots of a polynomial by mathematical induction on the number of nonzero terms. In fact, the proof also works with roots counted according to their multiplicity. Write for the number of sign changes and for the positive-root count.
A one-term polynomial has no positive roots and no sign changes. For the induction step, factor out the smallest power of :
For this factor is nonzero, so , including multiplicities, and . Differentiation removes exactly the constant term:
The exponents remain strictly increasing, and the positive multipliers do not change coefficient signs. The induction hypothesis therefore gives
First suppose . Removing removes exactly one sign change, so . If has positive roots of multiplicities , its derivative has multiplicity at and, by the Rolle theorem, an additional root between each pair. Thus the Rolle root count with multiplicities gives
when there is a positive root. Consequently
If there is no positive root, the desired bound is automatic.
Now suppose , so . Again the zero-root case is immediate. Otherwise, multiplying by if necessary lets us assume and without changing roots or sign changes. For sufficiently small ,
since and the lowest-power term of has positive coefficient. Choose such a point before the first positive root . The mean value theorem on gives a point with
But . The intermediate value theorem applied to the polynomial therefore gives an extra root in , before . It is distinct from the roots at and those between consecutive roots. Hence
Both sign cases complete the induction:
An initial sign change allows one extra positive root; without that sign change, the derivative must already turn before the first positive root. This is the upper-bound part of the Descartes' rule of signs. The multiplicity claim used above follows by differentiating with : the derivative has a factor and its remaining factor is nonzero at .
The effective number of relativistic energy degrees of freedom count two photon polarizations, four electron/positron spin states, and six neutrino/antineutrino states, with the Fermi-Dirac distribution factor for fermions. Treating these species as relativistic and at a common temperature gives .
The mass-equivalent radiation mass density is . Therefore the Friedmann equation gives
At , . Equating the specified weak interaction rate to gives and hence
The approximate equilibrium neutron-to-proton ratio, neglecting chemical potentials, is , about using the mass difference . This is a freeze-out estimate rather than a detailed reaction-network computation.
After weak cosmological weak freeze-out, free neutrons undergo beta-minus decay; neutrinos decouple, and electron-positron annihilation heats the photons relative to the neutrinos. Initially the abundant energetic photons destroy deuterium almost as soon as it forms. Once the deuterium bottleneck ends, nuclear reactions rapidly pass through deuterium, tritium and helium-three to helium-4. Reactions eventually become too slow compared with cosmic expansion; nearly all surviving neutrons are bound in helium-four. Its mass fraction is approximately , where is evaluated when nuclear assembly begins.
Increasing increases the Hubble parameter, raises , increases the freeze-out neutron-to-proton ratio, and leaves less time for free-neutron decay after freeze-out. Both effects increase ; decreasing reverses them. Most deuterium is only an intermediate product and is burned into helium, so its residual abundance and its absolute change are tiny compared with the helium mass fraction. This does not imply a negligible fractional change in residual deuterium. Faster expansion also shortens the time available to burn it, and its relative abundance can be appreciably sensitive to extra radiation. The distinction matters when interpreting the final wording of the question; joint deuterium and helium abundances constrain extra relativistic species, as discussed in the Particle Data Group nucleosynthesis review.
The Papperitz symbol describes a homogeneous second-order Fuchsian differential equation on the Riemann sphere, with three regular singular points and the two indicial exponents at each. At a finite point , an exponent corresponds locally to a factor ; at infinity it corresponds to . Repeated or resonant exponents can require logarithms. The six exponents obey the Fuchs relation that their sum is one. With three singularities there is no independent accessory parameter, so these data determine the normalized equation.
A Möbius transformation of a Papperitz symbol moves the singular points without changing their exponents. Multiplication of the dependent variable by a local power shifts the two exponents by that power, using the reciprocal local coordinate at infinity.
Set and . At , the exponent pairs for are respectively , , and . The Möbius transformation sends to . Before rescaling, therefore has exponent pairs at zero, at one, and at infinity. Multiplication by subtracts at one and adds at infinity. The resulting pairs are
exactly those of the original Gauss hypergeometric equation. Near zero choose the branch with at zero. The resulting solution is analytic there and has value one. Uniqueness of the normalized analytic solution yields
This is the Pfaff transformation. The normalization presupposes the usual admissible parameters, in particular . Elsewhere the identity holds by analytic continuation with compatible branches, or by parameter limits wherever those are defined.
This is a generalized linear model with independent Bernoulli distributions for the responses and the logit link. Under treatment coding with colour one as the reference level, the linear predictor is
Colour is a categorical variable, not a numerical trend. Width has the same slope for every colour, since no interaction term is fitted. The parameters are estimated by maximum likelihood estimation.
The approximate Wald confidence interval for the width coefficient is , or approximately . This uses the approximate normal distribution of the maximum-likelihood estimator, rather than a confidence interval for an individual binary response.
For the requested crab, the fitted linear predictor is . Applying the inverse logit link gives . The rounded displayed coefficients need not reproduce the reported test statistics exactly.
Work over the finite field . Reduce polynomials modulo , so their monomials are square-free. The binary Reed-Muller code consists of the evaluation vectors of polynomials of degree at most at all points of , in a fixed order. This is a linear code of length and dimension , for . Square-free monomials give independent evaluation functions, as follows inductively by splitting according to the last variable.
The minimum Hamming distance of a linear code equals its least nonzero Hamming weight. The result is
Here is the repetition code, while is the full binary vector space and has distance one. For the induction step, write , where and . Its evaluation vector is , the Reed-Muller bar-product recursion. If , its nonzero Hamming weight is at least , with the full-space endpoint treated as above. If , every position where contributes exactly one to the sum of the two weights; hence the weight is at least . The monomial is one exactly on points, attaining the bound. Degrees greater than give the same full code; the zero code at negative degree has no nonzero word whose weight could define a finite minimum.

There are unlisted articles, also show them or only show them.