The Liouville approximation theorem states that if is a real irrational algebraic number of degree , there is a constant such that, for all integers with ,
Reduction of the fraction is not necessary: an unreduced denominator only weakens this bound. More generally the same type of bound holds for an algebraic number of degree whenever . The exception is essential for a rational , since an exact rational representation gives zero error. A rational number of degree one obeys the bound directly: if in lowest terms and , then .
The equalities are valid at a differentiable interior optimum under the intended concave formulation, but not under the printed assumptions alone. To derive the intended result, differentiate the finite conditional sum in the Bellman objective. For an interior portfolio fraction with positive invested wealth, its derivative gives
The consumption derivative gives . Since , the first equality cancels its risky part and yields the second requested equality. The envelope derivative with respect to wealth gives , giving the third. Thus, under these added hypotheses,
The first prices the excess stock payoff using future marginal utility; the second equates marginal utility from consuming now to that from saving in the bank; the third identifies the marginal value of wealth with that common quantity. At portfolio or consumption boundaries these are replaced by one-sided optimality inequalities. Finiteness of the sample space justifies differentiating a finite sum; it does not ensure differentiability of a supremum or an interior optimum.
A concrete counterexample satisfies the printed convex assumptions and attains every supremum. Take one remaining decision, a one-point sample space, a deterministic stock return , , and controls in . The optimum is , since the objective is convex in and its larger endpoint value is . Then and . The first claimed expectation is ; the second compares to ; the third compares to . All three fail. Consequently the requested equalities cannot be proved as printed; the derivation above supplies their precise intended interior version.
Here and : the specified utility is strictly concave, contrary to the word “convex” in part (i). Assume its expected values are finite on the admissible set. Define and choose a constant portfolio fraction maximizing . Equivalently maximize for and minimize it for . An interior optimum satisfies
For a constrained endpoint optimum the corresponding derivative has the appropriate one-sided sign. The objective is concave in and strictly concave if , so this condition or its endpoint version determines the optimum. Put and .
Backward induction with independence of the returns gives and . Maximizing the consumption expression
gives , hence
Writing yields and . Therefore the fully explicit horizon dependence is
Use when , and when . The investor consumes this fraction, invests the remaining wealth with the same optimal portfolio mix at each date, and consumes all remaining wealth at . If the stock is identical to the bank almost surely, every portfolio fraction is equivalent.
Let represent the information at decision time and conditional expectation given it. is the largest conditional expected utility from the remaining consumption opportunities with current wealth ; it may depend on the information state as well as . The controls and are chosen using current information. In the usual allocation interpretation and , and next wealth is . Other borrowing/short-selling rules require explicitly replacing this admissible set while preserving solvency.
The Bellman equation follows by separating current utility from future utility: after any current decision the best continuation has conditional value , and maximizing over the current admissible decisions gives the stated recursion. At the last opportunity all wealth is consumed, because utility is increasing, giving .
There are two printed qualifications. Strict convexity is not needed for this recursion, but it conflicts with the concave power utility in part (ii) and does not support the interior maximizing first-order conditions in part (iii). Also the displayed recursion starting at includes consumption at times , whereas the preceding sum starts at one. The same recursion represents that sum when begun at time one; alternatively relabel the consumption dates. Below the policy is given for the recursion's remaining horizon, so this indexing discrepancy does not leave the optimization unspecified.
Assume . The additive two-way model has dimension ; the null model, with no exam effects, has dimension . Write row, column and grand means as . Orthogonal projection onto the full model gives fitted values , while the null fit is . The added exam sum of squares and full residual sum of squares are
The preceding orthogonal-projection result gives independent null chi-squares with and degrees of freedom. Therefore
Reject the no-exam-effect hypothesis for a large value. The printed alternative repeats the identifying constraint ; a genuine alternative additionally has at least one nonzero . No interaction term is being fitted; the independent equal-variance Gaussian error assumption is what makes this exact test valid.
Let and . For nested subspaces these are orthogonal projections onto and , of ranks and . Under the null, both annihilate . In an orthonormal basis adapted to , these two spaces and their complement, the coordinates of are independent . Consequently
and the two variables are independent. Equivalently the joint probability density of the two unscaled sums factors into gamma densities of respective shapes and common scale .
The nuisance variance cancels in
Reject for a value above the upper critical quantile to obtain a level- test. Under a genuine alternative the numerator is noncentral chi-square with noncentrality , while the denominator retains its central law, explaining the upper-tail choice.
Complex conjugation permutes the irreducible characters, because the conjugate of an irreducible representation is irreducible. This involution fixes the real-valued characters and interchanges the other characters in pairs. If there are such pairs, then conjugating permutes its rows by transpositions. Therefore
It follows that the determinant is real when is even and purely imaginary when is odd. It never vanishes, by the preceding part. Real-valued characters include both real and quaternionic representation types; the criterion concerns values of the characters, not those two representation types separately.
The matrix is square by completeness. Column orthogonality says . Taking determinants gives
In particular its determinant is nonzero.
Apply completeness to the indicator of the conjugacy class of . Its expansion coefficient is , because that class has size . Evaluating at gives
The complex conjugation is part of the printed formula; dropping it would not give the general column orthogonality relation.
The irreducible characters are an orthonormal basis of the space of complex class functions for the inner product
Thus the row orthogonality relation and completeness statement are
In particular the number of irreducible characters equals the number of conjugacy classes. In class-representative notation, the orthogonality relation is .
For the indicated cyclic Galois resolvent, reindexing its terms and using gives
There exists with because distinct field automorphisms are linearly independent as functions. A short proof is as follows. Take a nonzero relation with the fewest nonzero terms, normalize one coefficient, evaluate it at and subtract a scalar multiple of the relation at . Choose on which two participating automorphisms differ. This produces a nonzero relation with fewer terms, a contradiction.
Set . Then are distinct conjugates. Also , so . The orbit has size , giving and hence . All the roots belong to , so
This also treats with a nonzero .
If , the splitting field is and its Galois group is trivial. Otherwise choose a root and a primitive th root of unity . Every root is , so . Each automorphism is determined by . This is an injective group homomorphism, since the roots of unity are fixed by every automorphism. A subgroup of the cyclic group is cyclic. Thus is cyclic, with order dividing .
This assertion is always true. Ordinal addition obeys and . Thus both summands are at most . If and , both ordinals are countable, and their disjoint ordered union is countable, so their sum cannot be . If instead and , appending a nonempty second block gives a sum strictly larger than . These exhaust the possibilities with ; hence or .
This assertion is false. Set and . The limit recursion gives
Every term is countable, and they are cofinal in the first uncountable ordinal. Yet is neither zero nor .
This assertion is false, even for nonzero limit ordinals. Take and . Then , while . The first identity follows from the limit recursion, since ; the second sum strictly extends the initial block of type .
This assertion is always true. Synthetically, either bracketing places three disjoint blocks of order types in that order. The identity on these blocks is an order isomorphism, so both sums have the same order type. This proves associativity of ordinal addition for successor and limit ordinals alike.
For , introduce conformal time by . Since , the constraint becomes
On the initial expanding branch, separate variables and choose at the Big Bang. With ,
The second formula follows by integrating . The model reaches maximum size at and recollapses at .
Today and selects the expanding branch, so
Substitution yields the requested age
In particular the numerator is , not ; the PDF displays the former. The flat-model limit is .
The fluid conservation equation is . With the radiation equation of state, it becomes , giving . Define the critical density and cosmological density parameter . Since ,
Evaluating the Friedmann equation today gives , hence
In the Newtonian dust calculation, use a comoving spherical shell of physical radius . Homogeneity gives its enclosed mass , and the shell theorem removes the gravitational force of exterior shells. Assume pressureless matter, conserved enclosed mass, no cosmological constant, and no shell crossing. Its specific conserved mechanical energy is
Homogeneity permits the energy per to be a constant, written . Dividing by gives
This is a Newtonian derivation for dust. For radiation the enclosed gravitating mass is not conserved, so this same mechanical-energy argument cannot simply be reused; general relativity supplies the same Friedmann constraint with the total energy density divided by , together with pressure-dependent fluid conservation.
At the threshold , the determinant quadratic has a double zero at
Consequently the scaled disturbance length in is
The physical length is at threshold; its full spatial wavelength is times this length, not this length itself. For much shorter lengths, the large negative diffusion terms smooth both components. For much longer lengths, diffusion contributes little and the stable homogeneous reaction feedback, especially the inhibitor response, suppresses disturbances. The selected length lies between those two stabilization mechanisms.

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