M5.0 7 min read Oct 2026

M5.0 Why Insurance Can Make Sense: Convexity and Jensen's Inequality

Builds on2 notes

Why pay more than the average loss?

In a simplified mathematical insurance model, a yearly loss is 200,000 with probability 0.02 and zero otherwise. A premium of 6,000 fully covers it. The expected loss is 4,000, below the premium.

Yet a certain expense of 6,000 may have less impact than an occasional sudden loss of 200,000. Are we comparing amounts or their consequences? Represent the consequence by a function first.

DiscussionQ1

Define the random loss and its consequence. Which quantity does comparing the premium with mean loss omit?

Show the reasoning

Let annual loss XX equal 200,000 with probability 0.02 and zero otherwise, so E[X]=4000\mathbb E[X]=4000.

Comparing money alone implicitly values it linearly. Instead let φ(x)\varphi(x) describe the disutility of losing xx. Large losses can be disproportionately painful if they require borrowing or selling essential assets.

Then compare certain disutility φ(6000)\varphi(6000) with uninsured expected disutility E[φ(X)]=0.98φ(0)+0.02φ(200000)\mathbb E[\varphi(X)]=0.98\varphi(0)+0.02\varphi(200000).

The omitted distinction is between E[φ(X)]\mathbb E[\varphi(X)] and φ(E[X])\varphi(\mathbb E[X]). Nonlinear consequences do not commute with averaging.

A chord above a curve

Increasing marginal disutility produces an upward-bending, bowl-like curve.

Join its points at losses zero and 200,000. The chord at 4,000, two percent of the way across, has height E[φ(X)]\mathbb E[\varphi(X)]. The curve itself has height φ(E[X])\varphi(\mathbb E[X]).

For a convex curve, the chord lies above it. This gives E[φ(X)]≥φ(E[X])\mathbb E[\varphi(X)]\ge\varphi(\mathbb E[X]). Their vertical separation is the Jensen gap.

This compares an uncertain loss with a certain loss of 4,000. To justify the actual premium, separately check φ(6000)≤E[φ(X)]\varphi(6000)\le\mathbb E[\varphi(X)]. Jensen alone does not establish that comparison.

Pooling independent identical losses reduces variance of the per-person mean to Var⁡(X)/n\operatorname{Var}(X)/n. This does not guarantee an insurer’s profit; dependence, costs, and coverage terms also matter.

A convex curve, its chord, and the reduced spread of pooled average losses.

The Jensen gap depends jointly on curvature and the input distribution.

Convexity and Jensen

A function φ\varphi on a convex domain is convex if, for any a,ba,b and λ∈[0,1]\lambda\in[0,1],

φ(λa+(1−λ)b)  ≤  λ φ(a)+(1−λ) φ(b).\varphi\big(\lambda a+(1-\lambda)b\big)\;\le\;\lambda\,\varphi(a)+(1-\lambda)\,\varphi(b).

The left side is a curve value; the right side is the chord value. For twice-differentiable functions on an interval, convexity is equivalent to φ′′≥0\varphi''\ge0. Examples include x2x^2, exe^x, and −log⁡x-\log x on their domains. Logarithm and square root are concave, reversing the shape.

Jensen’s inequality: for convex φ\varphi under appropriate integrability,

  φ(E[X])  ≤  E[φ(X)].  \boxed{\;\varphi\big(\mathbb E[X]\big)\;\le\;\mathbb E\big[\varphi(X)\big].\;}

Proof. Let m=E[X]m=\mathbb E[X] lie inside the domain and choose a supporting line ℓ(x)=φ(m)+c(x−m)\ell(x)=\varphi(m)+c(x-m) below the curve. If differentiable, c=φ′(m)c=\varphi'(m). Taking expectations gives

E[φ(X)]  ≥  E[ℓ(X)]=φ(m)+c (E[X]−m)=φ(m).□\mathbb E[\varphi(X)]\;\ge\;\mathbb E[\ell(X)]=\varphi(m)+c\,\big(\mathbb E[X]-m\big)=\varphi(m).\qquad\square

Only the supporting-line inequality and linearity of expectation were needed. Two-point convexity is the special case of Jensen for a two-valued variable.

Equality requires φ(X)=ℓ(X)\varphi(X)=\ell(X) almost surely. For strictly convex φ\varphi, the supporting line meets the curve only at mm, so equality holds exactly when XX is almost surely constant.

For a concentrated variable, expand to second order around mm and average. The linear term vanishes:

E[φ(X)]−φ(E[X])  ≈  12 φ′′(m) Var(X).\mathbb E[\varphi(X)]-\varphi(\mathbb E[X])\;\approx\;\tfrac12\,\varphi''(m)\,\mathrm{Var}(X).

This is a local approximation requiring control of higher-order remainders. If the entire relevant interval satisfies 0≤m2≤φ′′≤M20\le m_2\le\varphi''\le M_2, Taylor’s integral remainder instead gives rigorous bounds:

m22Var(X)≤E[φ(X)]−φ(E[X])≤M22Var(X).\frac{m_2}{2}\mathrm{Var}(X)\le \mathbb E[\varphi(X)]-\varphi(\mathbb E[X])\le\frac{M_2}{2}\mathrm{Var}(X).

Variance alone does not order arbitrary Jensen gaps. Curvature and distributional shape also matter.

DetailsConcavity and conditional Jensen

For concave φ, φ(E[X])≥E[φ(X)]. For example, independent repeated returns of +50% or −50% have zero arithmetic mean but expected log growth ½(log1.5+log0.5)≈−0.144. Under the corresponding iid model, long-run multiplicative growth differs sharply from the arithmetic average. This is a mathematical illustration of nonlinear averaging.

Conditionally, φ(E[X∣Y])≤E[φ(X)∣Y]\varphi(\mathbb E[X\mid Y])\le\mathbb E[\varphi(X)\mid Y] almost surely, under appropriate integrability. Apply the supporting-line argument after fixing the available information.

Return to the premium

The actual comparison is φ(6000)\varphi(6000) versus expected uninsured disutility. Once φ\varphi is chosen, calculate both. Jensen explains the averaging distinction; it does not choose a person’s preferences.

Check the assumptions:

  • Convexity on the relevant domain: a capped or nonconvex consequence function need not obey the same direction. Its shape alone still does not settle every premium comparison.
  • Defined expectations: heavy tails can make a mean infinite or an expression undefined, so ordinary finite-gap reasoning cannot be applied unchanged.

Simulate, then reverse the curvature

import numpy as np
rng = np.random.default_rng(0)
loss = np.where(rng.random(200000)<.02,200000.,0.)
phi = lambda x:-np.log1p(-x/250000)
print('mean loss:',loss.mean())
print('premium disutility and expected loss disutility:',phi(6000.),phi(loss).mean())
pool = loss.reshape(2,100000).mean(1)
print('pooled means and empirical gap:',pool,phi(pool).mean()-phi(pool.mean()))
phi_c = np.sqrt
print('concave comparison:',phi_c(4000.),phi_c(loss).mean())

For this chosen convex function, the premium’s disutility is smaller than expected uninsured disutility. Large independent pools have much more concentrated per-person means. With x\sqrt x, the Jensen direction reverses: 4000≈63.2\sqrt{4000}\approx63.2, while 0.02200000≈8.90.02\sqrt{200000}\approx8.9. Preference and premium comparisons still require the actual two costs.

Vary curvature, spread, and pool size to compare E[φ(X)]\mathbb E[\varphi(X)] with φ(E[X])\varphi(\mathbb E[X]).

Check your understanding

Check your understanding

Positive iid wealth multipliers are 1.5 or 0.5 with equal probabilities. Under log satisfaction, how does equal splitting across a hundred such outcomes compare with one outcome?

Check your understanding

For strictly convex φ\varphi, when does equality in Jensen hold under the stated assumptions?

Check your understanding

A uniformly sampled day’s waiting time is T(N)T(N), convex in its random customer count. How does T(E[N])T(\mathbb E[N]) compare with E[T(N)]\mathbb E[T(N)]?

References

  1. Boyd, S., Vandenberghe, L. Convex Optimization. Cambridge University Press, 2004.
  2. Jensen, J. L. W. V. Sur les fonctions convexes et les inégalités entre les valeurs moyennes. Acta Mathematica 30, 1906.
  3. Cover, T. M., Thomas, J. A. Elements of Information Theory. Wiley, 2nd ed., 2006.
  4. Grimmett, G., Stirzaker, D. Probability and Random Processes. Oxford University Press, 3rd ed., 2001.