---
title: 'Proper Betting: Mathematical Methods'
url: https://www.emergentmind.com/topics/proper-betting
type: topic
---

# Proper Betting: Mathematical Methods

Proper betting denotes a family of mathematically disciplined approaches to wagering, trading, and sequential inference. In repeated favorable games, it refers to stake selection that is appropriate for compounding wealth over time rather than for maximizing one-step expected payoff; in game-theoretic probability and statistical testing, it refers to nonnegative capital processes whose expected value under a null model is controlled; in market and forecasting applications, it refers to converting probabilistic edge, odds mispricing, or score advantage into coherent positions under explicit feasibility, liquidity, and risk constraints [1701.01427][1903.06991][2607.06166].

## 1. Conceptual foundations

The most persistent distinction in the literature is between *fair-looking one-step optimization* and *proper repeated-play optimization*. For a favorable even-money gamble with win probability \(p>1/2\), maximizing one-flip expected wealth pushes the stake fraction \(f\) to \(1\), because
\[
\mathbb{E}[W_1]=W_0\big(1+f(2p-1)\big)
\]
is increasing in \(f\). Proper betting in repeated play instead maximizes expected logarithmic growth,
\[
g(f)=p\ln(1+f)+q\ln(1-f),
\]
thereby penalizing drawdowns and accounting for compounding [1701.01427].

A second distinction concerns *coherence*. In the evidential literature, a proper bet is a nonnegative payoff \(S\) priced at its null expected value, often normalized so that \(\mathbb{E}_{H_0}[S]=1\). Realized capital \(S(x)\) is then a betting score or e-value. Sequentially, products of such scores form nonnegative test supermartingales, so optional stopping and adaptive continuation remain valid through Ville’s inequality [1903.06991].

A third distinction concerns *forecast-to-action conversion*. In modern prediction markets, “proper betting” has been formalized as a trading rule derived from a strictly proper scoring rule \(S\), so that profitability tracks forecasting accuracy whenever liquidity is sufficient. In that setting, properness means more than internal coherence: it means that a forecaster’s score advantage over the market is converted into a position with a robust expected-profit guarantee [2607.06166].

## 2. Log-utility, Kelly sizing, and repeated favorable bets

The canonical formulation is the Kelly criterion. With even-money odds, win probability \(p\), loss probability \(q=1-p\), and bankroll fraction \(f\), the expected log-growth per bet is
\[
g(f)=p\ln(1+f)+q\ln(1-f).
\]
The first-order condition gives
\[
f^*=p-q=2p-1,
\]
and concavity,
\[
g''(f)=-\frac{p}{(1+f)^2}-\frac{q}{(1-f)^2}<0,
\]
makes this the unique maximizer. For general net odds \(b\), the growth function becomes
\[
g(f)=p\ln(1+bf)+q\ln(1-f),
\qquad
f^*=\frac{bp-q}{b}.
\]
In the 60% heads, even-money coin experiment, proper betting therefore meant staking \(20\%\) of current bankroll on heads each flip [1701.01427].

The experiment exposed the gap between formal optimality and observed behavior. Subjects began with \(W_0=\$25\), had 30 minutes, could wager in \$0.01 increments up to their full bankroll, and faced a \( \$250 \) cap revealed only when a bet could cross it. Across 61 participants, 21% ended at at least \( \$200 \), 28% went bust to below \( \$2 \), and the remaining 51% averaged about \( \$75 \); average payout was \( \$91 \), and 18 players went all-in at least once. Tails betting was also common despite the stated 60% heads probability: 67% bet tails at least once, and 48% did so more than five times. The dominant observed errors were overbetting, erratic sizing, gambler’s fallacy, hot-hand effects, illusion of control, anchoring, sunk-cost bias, and Martingale-like loss chasing [1701.01427].

The contrast with constant-fraction discipline was stark. With full Kelly \(f=0.2\),
\[
g(0.2)=0.6\ln(1.2)+0.4\ln(0.8)\approx 0.0201,
\]
while expected wealth grows by a factor \(1.04\) per flip. With half Kelly \(f=0.1\),
\[
g(0.1)=0.6\ln(1.1)+0.4\ln(0.9)\approx 0.0150,
\]
or about 75% of full Kelly’s log-growth with materially lower variance and drawdown risk. Simulations in the capped 60% coin game showed that constant fractions of 10–20% reached the \( \$250 \) cap with probability about 95%, whereas both underbetting at 5% and overbetting at 40% reduced cap-hit probability to about 70% [1701.01427].

## 3. Temporal correlation, finite horizons, and computational constraints

Classical Kelly assumes i.i.d. outcomes, but proper betting can be generalized to temporally correlated sequences. In the correlated even-money model, outcomes \(X_k\in\{-1,1\}\) satisfy
\[
V_{k+1}=(1+KX_k)V_k,
\qquad
\mathrm{ELG}(K)=\frac{1}{n}\,\mathbb{E}\!\left[\log\frac{V_n(K,\mathfrak{X})}{V_0}\right].
\]
For arbitrary joint dependence over a finite horizon,
\[
\mathrm{ELG}(K)
=
\frac{\mathbb{E}(H_n)}{n}\ln(1+K)
+
\left(1-\frac{\mathbb{E}(H_n)}{n}\right)\ln(1-K),
\]
so the optimal constant fraction is
\[
K_n=2\left\{\frac{\mathbb{E}(H_n)}{n}\right\}-1.
\]
In the simplest Markov case,
\[
\Pr(X_k=1\mid X_{k-1})=\omega_0+\omega_1X_{k-1},
\]
the paper gives a closed form
\[
\frac{\mathbb{E}(H_n)}{n}=\lambda_n p_0+(1-\lambda_n)p_\infty,
\qquad
K_n=2\left\{\lambda_n p_0+(1-\lambda_n)p_\infty\right\}-1,
\]
with \(p_0=\omega_0+\omega_1x_{-1}\), \(p_\infty=(\omega_0-\omega_1)/(1-2\omega_1)\), and \(\lambda_n=\frac1n\frac{1-(2\omega_1)^n}{1-2\omega_1}\). Time-varying feedback \(\tilde K_k=2p_k-1\) strictly improves ELG whenever \(p_k\) varies over time [2003.02743].

Finite horizons change the objective even when the game is favorable. In a discrete casino model with integral chips, absorbing boundaries at \(0\) and \(N\), and deadline \(T\), proper betting may mean maximizing the probability of reaching \(N\) by time \(T\), not maximizing asymptotic log growth. With state \(w\) and remaining time \(t\), the exact dynamic program is
\[
V_t(w)=\max_{s\in\mathcal{S}(w)}\Big[p\,V_{t-1}(w+s)+q\,V_{t-1}(w-s)\Big],
\]
where \(\mathcal{S}(w)=\{1,\dots,\min(w,N-w)\}\). This discrete framework sharpens classical Dubins–Savage and Breiman results: bold play maximizes eventual success probability when \(p<1/2\), timid play is optimal when \(p\ge 1/2\) and no deadline is imposed, and finite-horizon optimization can recommend neither pure bold nor pure timid play [1112.1645].

The same work also gives exact linear systems for fixed strategies. If \(S[i]\) is the integral stake from bankroll \(i\), then ultimate success probabilities satisfy
\[
L[i]=(1-p)L[i-S[i]]+pL[i+S[i]],
\]
with \(L[0]=0\), \(L[N]=1\), while expected exit times satisfy
\[
E[i]=(1-p)E[i-S[i]]+pE[i+S[i]]+1,
\]
with \(E[0]=E[N]=0\). Proper betting in this setting is therefore explicitly computational: it is the optimal action under the actual chip size, target, bankroll, and deadline constraints, not the continuous-horizon idealization [1112.1645].

## 4. Risk control, support restrictions, and departures from classical Kelly

A central complication is that classical Kelly can be either too aggressive or too conservative, depending on how risk is modeled. One source of conservatism is the support of returns. For scalar returns \(X\) with support \(\mathcal{X}\), any optimizer of
\[
g(K)=\int_{\mathcal X}\log(1+Kx)f_X(x)\,dx
\]
must satisfy
\[
K\in\left[-\frac{1}{X_{\max}},-\frac{1}{X_{\min}}\right],
\]
where \(X_{\min}<0<X_{\max}\). In vector form, the Restricted Betting Theorem states that any optimizing Kelly vector must satisfy
\[
h_{\mathcal X}(-K)\le 1,
\]
where \(h_{\mathcal X}\) is the support function of \(\mathcal X\). If support is unbounded in both scalar directions, then \(K^*=0\); the same phenomenon appears in the normal-return example, where unbounded downside forces no betting at all despite positive mean [1710.01786].

This support sensitivity motivates empirical and approximate variants. Under a second-order Taylor approximation,
\[
\mathbb{E}[\log(1+KX)]\approx K\,\mathbb{E}[X]-\frac12K^2\mathbb{E}[X^2],
\]
the approximate scalar optimizer is
\[
K_{\mathrm{approx}}^*=\frac{\mathbb{E}[X]}{\mathbb{E}[X^2]}
=\frac{\mu}{\mu^2+\sigma^2}.
\]
Because this ignores the log-domain constraint, survivability must be reimposed. The exact scalar survival condition is
\[
-\frac1{X_{\max}}<K<\frac1{|X_{\min}|},
\]
and the paper proposes saturating \(K_{\mathrm{approx}}^*\) to this interval. It also derives explicit formulas for expected cumulative gain,
\[
\overline{\mathcal G_K}(N)=\big((1+K\mu)^N-1\big)V(0),
\]
and for the variance of cumulative gain and logarithmic growth under the approximate strategy [2004.14048].

A different line of work studies betting strategies that maximize growth subject to controlled fluctuations. In the fair-odds horse-race model, Kelly is \(b_x=p_x\), the null risk-free strategy is \(b_x=r_x\), and the paper optimizes
\[
J=\alpha\langle W\rangle-(1-\alpha)\sigma_W+\lambda\sum_x b_x,
\qquad
\gamma=\frac{1-\alpha}{\alpha}.
\]
The stationarity condition is
\[
p_x-b_x=\frac{\gamma}{\sigma_W}\,p_x\Big[\ln(b_x/r_x)-\langle W\rangle\Big].
\]
A phase transition occurs at
\[
\gamma_c=\sigma_q,
\qquad
\sigma_q^2=\sum_x p_x\left(\frac{r_x}{p_x}\right)^2-1.
\]
For \(\gamma>\gamma_c\), the null strategy is optimal; for \(\gamma<\gamma_c\), a risky mixed strategy is optimal. The paper also proves the uncertainty-relation-like bound
\[
\sigma_W\ge \frac{\langle W\rangle}{\sigma_q},
\]
which constrains achievable growth at a given fluctuation level [2005.11698].

For applied sports betting, a large experimental review arrives at a complementary practical conclusion: pure Kelly and pure maximum-Sharpe strategies can be fragile under probability-estimation error, while fractional Kelly, drawdown-constrained Kelly, and distributionally robust Kelly substantially improve stability. The reported cross-sport recommendation is an adaptive variant of fractional Kelly tuned by a survival constraint on the 5th percentile of final wealth [2107.08827].

## 5. Odds, overround, coupons, and parlays

In sportsbook markets, proper betting begins with price normalization. Decimal odds \(O_d\) imply \(p=1/O_d\); for a market with outcomes \(i\), overround is
\[
M=\sum_i \frac1{O_i}-1.
\]
Expected return per unit stake under a bettor’s own probability \(q\) and decimal odds \(O\) is
\[
ER=q\cdot O-1,
\]
which is also the expected profit per unit stake. Lower overround makes a book more player-friendly, and line shopping across books can reduce the aggregate margin or, in rare cases, create a surebet when best-line implied probabilities sum to less than \(1\) [1706.01625].

A more formal treatment views bookmaker offers as a set of desirable gambles. With fractional odds \(a_i/b_i\), decimal odds \(d_i=1+a_i/b_i\), and upper mass bound
\[
\overline p(\omega_i)=\frac{b_i}{a_i+b_i}=\frac1{d_i},
\]
the odds alone avoid sure loss if and only if
\[
\sum_i \overline p(\omega_i)\ge 1.
\]
Free coupons can destroy that coherence. If \(f\) is the first-free gamble induced by an initial qualifying bet and a winnings-only coupon, then the augmented book avoids sure loss if and only if
\[
\overline E(f)\ge 0.
\]
If \(\overline E(f)<0\), the bookmaker incurs sure loss and the customer can compute the optimal guaranteed-gain portfolio via complementary slackness in a primal–dual linear program [1901.03645].

Proper betting with parlays has a distinct structure. For independent multi-outcome events with multiplicative parlay pricing, each event is first solved in isolation in the implicit-cash Kelly formulation,
\[
s_i^*=(p_i-c^*\pi_i)_+,
\qquad
W_i^*=c^*+\frac{s_i^*}{\pi_i}
=\max\!\left(c^*,\frac{p_i}{\pi_i}\right).
\]
The simultaneous optimizer over the full menu of singles and parlays is then the outer product
\[
x_\gamma^*
=
\prod_{\ell:\gamma_\ell=0} c_\ell^*
\prod_{\ell:\gamma_\ell\neq 0} s_{\ell,\gamma_\ell}^*,
\]
and terminal wealth factorizes across events. A parlay is active if and only if every selected leg is active in its one-event problem. When parlays are forbidden, the singles-only optimizer differs from the isolated eventwise solution only at cubic order, and the growth-rate loss is \(O(\varepsilon^4)\), which the paper identifies as an explanation of Whitrow’s empirical near-proportionality phenomenon [2603.26620].

Empirical sports-betting systems operationalize these principles by combining market prices with model-based edge estimates. One such approach estimates \(P(\mathrm{Win}\mid \mathrm{PS})\) nonparametrically from historical point spreads, computes moneyline expected value, applies an \(\epsilon\)-band around 50% win probability to reduce tail misestimation, and keeps only bets with expected value above a tuned threshold. With out-of-sample bootstrap validation, the reported moneyline ROI is positive across NFL, NBA, NCAAF, NCAAB, and WNBA, with, for example, 16.57% ROI on 567 NFL bets for the Simple model and 13.02% ROI on 284 NCAAB bets for the Weighted model [1910.08858].

## 6. Betting as statistical evidence and forecast recalibration

In statistical communication, proper betting replaces tail-area language by capital language. If \(f_0\) is a null density and \(f_1\) an alternative, then the likelihood ratio
\[
\mathrm{LR}(x)=\frac{f_1(x)}{f_0(x)}
\]
is a proper bet because \(\mathbb{E}_{H_0}[\mathrm{LR}]=1\). Sequentially,
\[
K_t=K_0\prod_{i=1}^t \mathrm{LR}(X_i)
\]
is a nonnegative test martingale, and Ville’s inequality gives
\[
\mathbb{P}_{H_0}\!\left(\sup_{t\ge 0}K_t\ge \frac1\alpha\right)\le \alpha.
\]
This framework yields e-values, optional-stopping validity, multiplicative meta-analysis, and naturally sequential evidence accumulation [1903.06991].

The broader betting interpretation of probability distinguishes two meanings of numerical degrees of belief. Under the *odds-offering* interpretation, a probability is a two-sided fair price for a ticket paying \(1\) on event \(A\). Under the *capital-multiplication* interpretation, associated with Ville, the operative judgment is that no admissible strategy can multiply the capital it risks by a large factor. Both interpretations justify conditioning for additive probabilities, but only the capital-multiplication interpretation extends to Dempster–Shafer belief functions and justifies Dempster’s rule of combination [1001.1653].

Betting can also be used to improve probabilistic forecasts. Given a predictive distribution \(F_n\) and realized outcome \(y_n\), the probability integral transform
\[
u_n:=F_n(y_n)
\]
should be IID Uniform\([0,1]\) under correct calibration. The forecast-enhancement procedure defines a betting martingale on the \(u_n\), using calibrators
\[
f_\epsilon(u)=1+\epsilon(u-0.5),
\qquad \epsilon\in[-2,2],
\]
and then reweights the original predictive density by the effective betting function \(b_n\):
\[
f_n'(y)=b_n(F_n(y))\,f_n(y).
\]
The cumulative log-loss difference is exactly \(-\log S_N\), where \(S_N\) is the martingale capital, so successful betting against PIT non-uniformity translates directly into improved log score [2105.08669].

A related sequential-inference construction mixes linear betting fractions to obtain time-uniform empirical Bernstein LIL envelopes. With bounded martingale differences \(X_t\), cumulative sum \(G_t=\sum_{i=1}^t X_i\), and empirical variance proxy \(\widehat V_t=\sum_{i=1}^t X_i^2\), the resulting wealth lower bound and Ville’s inequality yield an anytime boundary whose dominant asymptotic scale is
\[
|G_t|\lesssim \sqrt{\widehat V_t \log\log \widehat V_t}.
\]
This suggests that proper betting is not only an evidential metaphor but a constructive mechanism for deriving self-normalized concentration results [2605.22124].

## 7. Prediction markets, proper scoring rules, and sim-to-real evaluation

In prediction markets, proper betting has been formalized for general central limit order books. For a strictly proper scoring rule \(S\) with convex potential \(G\), market price vector \(q\), and forecaster distribution \(p\), the proper position is
\[
s_G(p,q)=\nabla G(p)-\nabla G(q).
\]
Its expected profit against ground truth \(p^*\) decomposes as
\[
\pi(s_G,p^*)
=
\big[S(p;p^*)-S(q;p^*)\big]
+
D_G(q,p)
-
L_\rho(s_G;q),
\]
where \(D_G\) is the Bregman divergence induced by \(G\) and \(L_\rho\) is liquidity loss. Thus, whenever the forecast outperforms the market under \(S\) and liquidity loss is covered by the divergence term, proper betting guarantees positive expected profit. The same paper proves a uniqueness result: any strategy with such a robust profitability guarantee must be essentially the same as \(s_G\) up to rescaling and constant shifts [2607.06166].

The construction is explicit under standard scores. For Brier,
\[
s_G(p,q)=2(p-q),
\]
and for log score,
\[
s_G(p,q)=\log p-\log q.
\]
The empirical results reported there state that proper betting is the only strategy that reliably converts AI forecasters’ accuracy into profit across thousands of real markets, and a live Kalshi deployment achieved \(+80.33\%\) ROI with Sharpe ratio \(3.35\) [2607.06166].

A separate line of work applies betting to estimator design under scarce physical experimentation. In sim-to-real performance evaluation, the target is
\[
\mu=\mathbb{E}_{x\sim P}[\psi(x)],
\]
with \(\psi(x)\in[0,1]\). The paper defines a betting payoff
\[
Y_t=
\begin{cases}
|\psi(x_t)-\tau_{t-1}|, & \text{if the bet is correct},\\
-|\psi(x_t)-\tau_{t-1}|, & \text{otherwise},
\end{cases}
\]
wealth update \(W\leftarrow W(1+b_tY_t)\), and bet-weighted estimator
\[
\hat\mu_{\mathrm{BW}}=\sum_{t=1}^T w_t\psi(x_t),
\qquad
w_t=\frac{b_t}{\sum_{j=1}^T b_j}.
\]
Theorem 1 gives an exact efficiency criterion:
\[
\frac{\sigma^2}{n}-\sum_{t=1}^n w_t^2\sigma_t^2
>
\left[\sum_{t=1}^n w_t\beta(w_t)\right]^2,
\]
which states that variance reduction must exceed squared bias penalty for the bet-weighted estimator to outperform Monte Carlo. Under a small-stakes Kelly expansion, the ideal stake is approximately
\[
b_t^*\approx \frac{\mathbb{E}[Y_t\mid \mathcal F_{t-1}]}{\mathbb{E}[Y_t^2\mid \mathcal F_{t-1}]},
\]
and Theorem 3 gives an e-value diagnostic:
\[
\mathbb{P}_{H_0}(W_T\ge 1/\alpha)\le \alpha
\]
under the no-edge null \(\mathbb{E}[Y_t\mid\mathcal F_{t-1}]\le 0\). In this usage, proper betting is both an allocation rule and an anytime-valid diagnostic of whether simulator information is actually improving real-world estimation [2604.24018].

Source: https://www.emergentmind.com/topics/proper-betting