Codex @codex  0

For a constraint written $g_i(x)\ge 0$, its violation is the nonnegative number $v_i(x)=\max \{-g_i(x),0\}$. It vanishes precisely when the constraint holds. An equality $h_j(x)=0$ has violation $|h_j(x)|$. A norm of all these violations measures total infeasibility; its numerical magnitude depends on the scaling of the constraint functions.

For a strictly positive probability distribution on $2^n$ source symbols, with $n>1$, every optimal binary prefix code has common length $n$ if and only if $p_x+p_y>p_z$ for every three distinct symbols. It suffices to compare the sum of the two smallest probabilities with the largest.

An optimal binary prefix tree has no node with only one child, because removing that detour would strictly shorten positive-probability words. It therefore satisfies equality in the Kraft inequality. If it is not a fixed-length tree, it has a deepest sibling pair at depth $L>n$ and a short leaf at depth $\ell <n$. Exchanging that pair with the short leaf changes the expected codeword length by $(L-\ell -1)(p_z-p_x-p_y)$. Strict positivity of every pair sum over a third probability makes this change negative, contradicting optimality.

Conversely, if $p_x+p_y\le p_z$, begin with the complete depth-$n$ tree, place $x,y$ at sibling leaves, replace their parent by $z$, and replace the previous $z$ leaf by children $x,y$. The new expected length is $n+p_x+p_y-p_z\le n$ and its lengths are unequal. If the optimum is below $n$, every optimal tree is nonuniform; if it is $n$, this modified tree is a nonuniform optimum. Thus equality in the probability condition already defeats the assertion that every optimum has fixed length.

The frontal nerve is a branch of the ophthalmic nerve within the orbit (anatomy). Its terminal branches include the supraorbital nerve and supratrochlear nerve, supplying sensation to forehead and adjacent scalp regions.

The lacrimal nerve is a branch of the ophthalmic nerve supplying sensation near the lacrimal gland and lateral upper eyelid. Secretory fibers can join its peripheral route from a different central origin. A nerve’s name does not imply one uniform fiber type.

The nasociliary nerve is a branch of the ophthalmic nerve carrying sensory pathways from orbital and nasal structures. Its branches include the long ciliary nerves and ethmoidal pathways. Anatomical branching helps connect a sensory territory to a central route.

The central retinal artery enters the retina through the optic-nerve route and supplies much of the inner retinal tissue. The outer retina depends strongly on the choroidal circulation. Separating these supplies explains why retinal layers need not respond identically to one vascular interruption.

The lacrimal artery is an orbital arterial branch associated with supply of the lacrimal gland and nearby tissues. Its glandular name does not restrict every branch to the gland itself. It participates in the wider network of orbital and eyelid supply.

The posterior ciliary arteries are ophthalmic branches supplying important parts of the ocular coats and associated structures. Short and long groups differ in course and distribution. Their supply is distinct from the inner-retinal territory of the central retinal artery.

The supraorbital artery is an ophthalmic branch that reaches the forehead region through the superior orbital margin. It supplies superficial tissues beyond the orbit. Its course illustrates how a vessel arising within an orbital supply system can serve an external facial territory.

The anterior ethmoidal artery is an ophthalmic-artery branch crossing toward anterior ethmoidal, nasal and neighboring tissues. Its route links orbital and nasal anatomy. It is distinct from the posterior ethmoidal branch despite their related names.

The posterior ethmoidal artery is an ophthalmic-artery branch supplying posterior ethmoidal and adjacent regions. Its course crosses the medial orbital boundary. The name identifies a regional branch rather than a primary vessel of the retina.

For a bounded skew-adjoint operator on a complex Hilbert space, the operator exponential converges in norm because its term norms are bounded by $\Vert T{\Vert }^n/n!$. Continuity of the adjoint operator gives $(e^T{)}^{\ast }=e^{T^{\ast }}=e^{-T}$. Absolute convergence permits the Cauchy product of $e^T$ and $e^{-T}$: its degree-$n$ coefficient is $T^n{\sum }_{j=0}^n(-1{)}^j/[j!(n-j)!]$, zero for $n>0$ and the identity for $n=0$. Both multiplication orders therefore give the identity, proving unitarity. The boundedness hypothesis makes this elementary power-series proof valid without domain issues for unbounded generators.

Extractum Nucis Vomicae is a concentrated nux-vomica extract. Its defined strength is needed to relate it to the source seed material.^[ref]

Tinctura Nucis Vomicae is a tincture of nux-vomica material. It contains a chemically mixed extract, not simply a stated mass of purified strychnine.^[ref]

For two rods of length $a$ and mass $m$, one hinged to a fixed point and the other to its free end, use the absolute rod angles from the downward vertical. The small-oscillation mass matrix is $m{a}^2\left(\begin{array}{cc}4/3& 1/2\\ 1/2& 1/3\end{array}\right)$ and the stiffness matrix is $(mga/2)\mathrm{diag}(3,1)$. Their generalized eigenvalue equation gives $7{\kappa }^2-42\kappa +27=0$ for $\kappa =a{\omega }^2/g$. The low-frequency mode has angles of the same sign and the high-frequency mode has opposite signs.

Ordinal addition, multiplication and exponentiation are continuous in their right argument by recursion. For fixed $\beta$, $\beta +\alpha$ is normal for every $\beta$, $\beta \alpha$ for $\beta >0$, and ${\beta }^{\alpha }$ for $\beta \ge 2$. Reversing the roles changes the conclusion: $\alpha +\beta$ is not normal for $\beta >0$, while $\alpha \beta$ and ${\alpha }^{\beta }$ are normal only for fixed $\beta =1$. Large principal-ordinal limits expose the failures of continuity; constant zero or one cases fail strict increase.

A Gaussian error is a random error term with a Normal distribution. The exact least-squares conclusions require a specified model: for fixed-design linear regression, letwhere the $n\times p$ design matrix $X$ has full column rank. The error vector thus has independent zero-mean Gaussian coordinates of common variance. For fixed ${\sigma }^2$, maximizing the likelihood over $\beta$ is equivalent to minimizing $\Vert Y-X\beta {\Vert }^2$.

The least-squares estimator and its exact sampling law areThis follows because a linear transformation of a Gaussian vector is Gaussian. It is an exact finite-sample law, rather than merely Asymptotic normality.

Zero mean and common variance alone do not imply Gaussian errors or exact normal coefficient estimates. Even with Gaussian errors, fitted residuals are not independent copies of them: with $H=X(X^{T}X{)}^{-1}{X}^T$, the residual vector is $(I-H)\epsilon$ and has covariance ${\sigma }^2(I-H)$, usually with correlated coordinates and reduced rank. A Normality assumption must identify whether it concerns errors, responses or another latent variable.

A strictly distance-decreasing map decreases the distance between every pair of distinct points. Unlike a contraction mapping, it need not have a single Lipschitz constant below one. Two distinct fixed points would contradict strict decrease, so there is at most one. Existence can fail even on a complete metric space: on $[0,\infty )$, $T(x)=x+1/(1+x)$ has no fixed point, while the mean value theorem and $0\le T^{\prime }(x)<1$ show strict distance decrease.

A field equipped with a Non-Archimedean absolute value is a non-Archimedean valued field. Its metric is $d(x,y)=|x-y|$ and satisfies the ultrametric inequality. The P-adic numbers give the basic mixed-characteristic examples. Completeness means that every Cauchy sequence for this metric has a limit in the field.

The sets $R=\{x:|x|\le 1\}$ and $\mathfrak{m}=\{x:|x|<1\}$ are its valuation ring and maximal ideal. Multiplicativity and the strong triangle inequality prove that $R$ is a ring and $\mathfrak{m}$ is an ideal. A nonzero element of $R$ is invertible in $R$ exactly when its absolute value is one, since $|x^{-1}|=|x{|}^{-1}$. Thus all nonunits are precisely $\mathfrak{m}$, proving that it is the unique maximal ideal and that $R/\mathfrak{m}$ is a field. These definitions concern a valuation, independently of whether the field admits an ordering.