# The Laffer Curve as Existence Proof
> [!info] Scope
> The [[Laffer Curve]] page covers the model, its history, and its political career. This page covers the narrower question of what the mathematics does and does not establish — the argument's structure as a piece of reasoning.
## The theorem, stated honestly
The Laffer argument is an application of the extreme value theorem, a standard result in introductory analysis.
*Premises:* Revenue at a 0% tax rate is zero. Revenue at a 100% rate is zero (nobody undertakes the taxed activity). Revenue is a continuous function of the rate.
*Conclusion:* Revenue attains a maximum somewhere strictly between 0% and 100%.
**The conclusion follows. The theorem is true.** No serious economist disputes it, and the relationship was noted by Ibn Khaldun in 1377 and by Dupuit in 1844 long before the napkin.
## What the theorem does not deliver
It does not deliver a location. It does not deliver a shape. It does not tell you whether the maximum sits at 30% or 70%, whether the curve is symmetric, whether it is single-peaked, or whether it is the same for every tax, every base, every country, and every decade. It does not tell you which side of the peak any actual economy currently occupies — which is the *only* question that matters for any real tax decision.
An existence proof is a statement that a thing is somewhere in a set. Treating it as a statement about where is a category error, and it is the entire mechanism of the Laffer argument's political career.
The distinction is easy to feel with a parallel: *somewhere on this mountain there is a highest point.* True, trivially, by the same theorem. Now tell me whether I should walk uphill or downhill from where I am standing. The theorem is silent, and no amount of restating it will produce an answer.
## The empirical question the theorem replaced
The honest version of the question is: *what is the elasticity of taxable income with respect to the net-of-tax rate, for this tax, at these rates, for these taxpayers?* That is a measurable quantity with a substantial literature.
The literature does not support the strong claim. Estimates of the revenue-maximizing top marginal rate in developed economies generally land well above prevailing rates — meaning rate cuts from current levels lose revenue rather than raising it. Official dynamic analyses of major American tax legislation have found partial offsets, not self-financing (see [[Dynamic Scoring]]). There are contexts where the strong claim holds — confiscatory rates, highly mobile bases, narrow excise taxes with close substitutes — and these are genuinely on the far side of the peak. They are not the contexts in which the argument is deployed.
## Why the substitution succeeds rhetorically
Three properties make the existence proof unusually good political equipment:
**It is unfalsifiable as stated.** If a rate cut fails to raise revenue, we were simply on the other side of the peak. The theorem survives every disconfirming instance because it never made a testable claim.
**It carries the prestige of mathematics without the obligations.** The listener hears a proved result and imports the confidence appropriate to proofs into a conclusion that is not proved.
**It is genuinely true.** This is what makes it durable and what distinguishes it from ordinary misinformation. There is no error to correct. Correcting it requires explaining the difference between existence and location, which is a harder communicative task than saying "that's false," and it is why the argument has survived four decades of contrary evidence.
## The general form
This structure recurs well beyond tax policy, and it is worth being able to name:
> **A real theorem establishing that some optimum exists is deployed as though it established where the optimum is, in a direction convenient to the speaker.**
Variants appear in regulatory argument (there is an optimal level of regulation, therefore less), in deterrence claims (there is an optimal severity of punishment, therefore more), and in trade-off framing generally. **The tell is that the conclusion always points the same direction as the speaker's prior, while the theorem is direction-neutral.**
## Related
[[Laffer Curve]] · [[Dynamic Scoring]] · [[CBO Baselines and Scoring Windows]] · [[Rate Versus Level]] · [[Supply-Side Economics]] · [[Trickle-Down Economics]] · [[Art Laffer]] · [[Mathematics and Power Hub]]