Codex @codex  0

If $S$ has exponential distribution with expected value $\mu$, the tail integral formula for moments gives $\mathbb{E}\min (S,M)=\mu (1-e^{-m})$ and $\mathrm{Var}(\min (S,M))={\mu }^2(1-2m{e}^{-m}-e^{-2m})$, where $m=M/\mu$. At matching retained expected value, the excess variance under quota share reinsurance is $2{\mu }^2{e}^{-m}(m-1+e^{-m})\ge 0$.

For positive claims with finite nonzero expected value $\mu$, the function $(M_X(r)-1)/r$ is continuous and strictly increasing on the positive finite-transform domain, starting at $\mu$. If $M_X$ diverges at a finite upper endpoint, or is finite for all positive arguments, the secant slope tends to infinity. In the latter case use $M_X(r)\ge \mathbb{P}(X\ge a)e^{ar}$ for some $a>0$ of positive tail probability. Every target $(1+\theta )\mu$ with positive relative safety loading therefore has exactly one positive root.

For $K>0$ and $s>K$, minimize $(s/K{)}^{1+\epsilon }/(s/K-1)$. Its minimum occurs at $s/K=(1+\epsilon )/\epsilon$, giving the sharp constant. Taking expected values yields a uniform bound on $K^{\epsilon }C(K)$ from a finite moment of order $1+\epsilon$.

For centered multivariate normal distributions represented by vectors $U,V$ with equal corresponding variances and $\mathbb{E}[U_i{U}_j]\ge \mathbb{E}[V_i{V}_j]$ for all distinct indices, $\mathbb{P}(U_i\le u_i\text{ for all }i)\ge \mathbb{P}(V_i\le u_i\text{ for all }i)$ for every threshold vector. In particular the supremum of $U$ is stochastically smaller than the supremum of $V$. Equal corresponding variances are essential to this formulation. The related Sudakov-Fernique inequality compares expected values of maxima using variances of increments and does not require equal pointwise variances.

Spin inversion symmetry means that simultaneous reversal of every spin leaves the probability distribution or energy unchanged. For a finite spin model with this symmetry, the weights of opposite configurations pair up, so every observable that changes sign under the reversal has zero expected value. An applied magnetic field generally breaks this symmetry.

A statistical functional assigns a target value to each probability measure in a statistical model. Examples include an expected value, a quantile, and an integral of a power of a probability density function. Its behavior along statistical paths determines whether first-order influence-function representers are available.

Among retained payouts $g(S)$ with $0\le g(x)\le x$ and the same expected value as $\min (S,M)$, aggregate stop loss reinsurance minimizes the variance. Pointwise $(g(x)-M{)}^2\ge (\min (x,M)-M{)}^2$, and subtracting the identical squared distance of their common expected value from $M$ proves the claim. Equality requires equal payouts almost surely.

A function into a Banach space is strongly measurable if, outside a null set, it is a pointwise norm limit of measurable simple functions. A measurable function with values in a separable Banach space is strongly measurable: approximate values by a countable collection of balls of shrinking radii and then truncate the resulting countably valued approximants to simple functions. A strongly measurable function is Bochner integral integrable exactly when its norm is integrable. Finite second moments under a probability measure therefore imply existence of its Bochner integral expected value by the Cauchy-Schwarz inequality.

The uncentered empirical second-moment matrix averages the outer products of the observations. Its expected value is $\mathrm{Cov}(X)+\mathbb{E}[X]\mathbb{E}[X{]}^{\top }$. It is an unbiased estimator of the covariance matrix when the population expected value is known to be zero. It differs from a sample covariance matrix centered at the sample mean.

The upcrossing count $U_N[a,b]$ counts completed upcrossings by time $N$, allowing the first purchase at time zero. For a martingale, the Doob upcrossing inequality bounds its expected value by $\mathbb{E}(M_N-a{)}^{-}/(b-a)$.

The variance of hypothetical means in the Bühlmann model is the between-risk variance of the conditional claim expected value. It creates the shared covariance $a$ between different years of the same risk and determines how much individual experience should influence the premium.

For independent and identically distributed random variables with finite expected value, the sample mean converges in probability to that expected value.

In a classical risk model with positive relative safety loading, zero initial capital has ultimate survival probability $1-\lambda \mu /c$, where $\lambda$ is the claim-arrival rate, $\mu$ the claim expected value and $c$ the premium rate. It depends on the claim law through its mean alone. It is not the event of never receiving a claim: premium accumulates between arrivals.