The lick count problem

How many licks?

A mathematical model for reaching a Tootsie Pop’s filling. Change the assumptions, see the probabilities, and follow the proof.

See the path to the filling

One simulated run, using the parameters in the calculator below.

Change parameters ↓
3D cross-section5.0 mm shell · 16 µm per lick · 50% CV
Hard-candy shell
Chewy filling
Licking spot
Drag to rotate · Scroll or pinch to zoomOne simulated path
Completed licks0
Progress along path0.000 mm
Shell remaining5.000 mm
Probability across paths0.0%
Camera

The gold marker follows one fixed path. The cutaway exposes the interior for inspection; it does not count as candy removed. Shape, surface detail, and the width of the depression are illustrative. Only the depth on the marked path is tied to the formula.

Ready to simulate.

The values are illustrative, not measurements of a real Tootsie Pop. The shaded range spans the 10th–90th percentile counts. A gold line marks the current 3D lick count when it falls within the plotted range.

The model and its proof

Exact mathematics, conditional on stated assumptions.

01Define what counts as reaching the center

Here, “reaching the center” means first exposing the Tootsie Roll filling by licking, with no biting. It does not mean reaching the geometric midpoint or removing the entire shell.

Represent erosion using a finite collection of fixed paths toward the filling. For path j{1,,m}j\in\{1,\ldots,m\}, let hj>0h_j>0 be the initial hard-candy thickness. Let dij0d_{ij}\ge0 be the potential advance along that same path during lick ii. These advances may vary, be dependent, or be zero on paths a lick does not affect. The model does not allow the shell to regrow.

We use inf=\inf\varnothing=\infty. Thus the count is infinite if no finite sequence of licks exposes the filling.

Proof. After nn licks, the remaining thickness along path jj is max{hji=1ndij,0}\max\{h_j-\sum_{i=1}^{n}d_{ij},0\}. At least one path reaches the filling exactly when its cumulative advance is at least hjh_j. Taking the first integer with that property gives the displayed formula. \square

This is an identity for a model of erosion along fixed paths. A real three-dimensional dissolution model would need additional geometry and physics. The plot above uses one fixed path.

02Identical licks

For one path of thickness h>0h>0, suppose every lick has the same potential advance μ>0\mu>0. The final physical removal is clipped at the remaining shell thickness.

Proof. The least integer nn for which nμhn\mu\ge h is the least integer at least h/μh/\mu, which is its ceiling. \square

Shell thickness alone cannot determine a count: changing the advance per lick changes the result. Neither parameter is supplied by the original question.

03Allow the licks to vary

Let D1,D2,D_1,D_2,\ldots be independent, identically distributed potential advances along one fixed path. Write μ=E[Di]>0\mu=\mathbb E[D_i]>0 and c=SD(Di)/μ>0c=\operatorname{SD}(D_i)/\mu>0. Choose a gamma distribution with shape k=1/c2k=1/c^2 and scale θ=μc2\theta=\mu c^2:

DiGamma(k,θ),fD(d)=dk1ed/θΓ(k)θk,d>0.D_i\sim\operatorname{Gamma}(k,\theta),\qquad f_D(d)=\frac{d^{k-1}e^{-d/\theta}}{\Gamma(k)\theta^k},\quad d>0.

This choice has E[Di]=kθ=μ\mathbb E[D_i]=k\theta=\mu and Var(Di)=kθ2=μ2c2\operatorname{Var}(D_i)=k\theta^2=\mu^2c^2. Gamma advances are a modeling assumption, not an experimentally established law of licking.

Let Sn=i=1nDiS_n=\sum_{i=1}^{n}D_i and N=inf{n1:Snh}N=\inf\{n\ge1:S_n\ge h\}. Clipping the final physical removal does not change when this first crossing happens.

Proposition. The cumulative probability of reaching the filling by lick nn is FN(0)=0F_N(0)=0 and, for every integer n1n\ge1,

The regularized upper incomplete gamma function is

Q(a,x)=xta1etdtΓ(a),Γ(a)=0ta1etdt.Q(a,x)=\frac{\displaystyle\int_x^{\infty}t^{a-1}e^{-t}\,dt}{\Gamma(a)},\qquad \Gamma(a)=\int_0^{\infty}t^{a-1}e^{-t}\,dt.

Proof. Nonnegative advances imply {Nn}={Snh}\{N\le n\}=\{S_n\ge h\}. To find the law of SnS_n, the gamma density gives, for s0s\ge0,

E[esDi]=(1+θs)k.\mathbb E[e^{-sD_i}]=(1+\theta s)^{-k}.

Independence makes the Laplace transform of the sum equal to the product:

E[esSn]=i=1nE[esDi]=(1+θs)nk.\mathbb E[e^{-sS_n}]=\prod_{i=1}^{n}\mathbb E[e^{-sD_i}]=(1+\theta s)^{-nk}.

This is the Laplace transform of Gamma(nk,θ)\operatorname{Gamma}(nk,\theta). Uniqueness of Laplace transforms for probability distributions on [0,)[0,\infty) therefore gives SnGamma(nk,θ)S_n\sim\operatorname{Gamma}(nk,\theta). Integrating its density from hh to infinity and substituting t=u/θt=u/\theta yields

Pr(Snh)=1Γ(nk)h/θtnk1etdt=Q(nk,h/θ).\Pr(S_n\ge h)=\frac1{\Gamma(nk)}\int_{h/\theta}^{\infty}t^{nk-1}e^{-t}\,dt=Q(nk,h/\theta).

Substitute k=1/c2k=1/c^2 and θ=μc2\theta=\mu c^2 to obtain the proposition. \square

The count is finite with probability one. By the strong law of large numbers, Sn/nμ>0S_n/n\to\mu>0 almost surely. Consequently SnS_n\to\infty almost surely, so a fixed finite thickness hh is eventually crossed.

04Read the plotted probabilities

The 3D view displays one seeded sequence of advances. After lick nn, its marked path has depth min{Sn,h}\min\{S_n,h\} and remaining thickness max{hSn,0}\max\{h-S_n,0\}. The first contact with the filling occurs at NN. The cutaway is a separate inspection aid; it never changes the lick count. The surrounding depression is schematic and need not follow a physical dissolution law.

A completed simulated path can coexist with a probability below 100% on the chart: that path has finished, while the chart describes all possible paths under the same parameters. Changing the camera or cutaway does not change the sampled advances.

The solid staircase is FN(n)F_N(n): the chance that filling has been exposed after nn completed licks. The dashed staircase uses identical advances of size μ\mu. The horizontal axis focuses on the transition region; each step represents an integer count.

The probability of taking exactly nn licks and the pp-quantile are

Pr(N=n)=FN(n)FN(n1),n1,\Pr(N=n)=F_N(n)-F_N(n-1),\qquad n\ge1,
qp=min{nN1:FN(n)p},0<p<1.q_p=\min\{n\in\mathbb N_{\ge1}:F_N(n)\ge p\},\qquad 0<p<1.

The displayed median is q0.5q_{0.5}. The shaded interval runs from q0.1q_{0.1} to q0.9q_{0.9} and contains at least 80% of the model’s probability. It need not contain exactly 80%, because the count is discrete. It is a prediction interval under assumed parameters, not a confidence interval estimated from observations.

For the illustrative starting values h=5mmh=5\,\mathrm{mm}, μ=0.016mm\mu=0.016\,\mathrm{mm} per lick, and c=0.5c=0.5, the 10th percentile, median, and 90th percentile are respectively 302, 313, and 324 licks. The chart converts micrometers to millimeters before evaluating the formula.

The distribution depends on thickness and mean advance through their ratio h/μh/\mu. Scaling both by the same positive factor leaves the distribution unchanged.

05Boundary cases and limits

Zero variation. At c=0c=0, define each advance to be exactly μ\mu and use N=h/μN=\lceil h/\mu\rceil. Do not substitute zero into the gamma formula.

There is a subtle discontinuity if h/μ=mh/\mu=m is an integer. As c0+c\to0^+, the gamma model satisfies

Pr(N=m)12,Pr(N=m+1)12.\Pr(N=m)\longrightarrow\tfrac12,\qquad \Pr(N=m+1)\longrightarrow\tfrac12.

Indeed, SmS_m has mean hh and variance mμ2c2m\mu^2c^2, and its standardized gamma distribution tends to the standard normal as its shape m/c2m/c^2 grows. Thus Pr(Smh)1/2\Pr(S_m\ge h)\to1/2. For fixed integers n<mn<m and n>mn>m, concentration around nμn\mu gives crossing probabilities tending to 0 and 1, respectively. At exactly c=0c=0, however, equality reaches the filling at lick mm. If h/μh/\mu is not an integer, Nh/μN\to\lceil h/\mu\rceil in probability as c0+c\to0^+.

An independent special-case check. When c=1c=1, advances are exponential and N1Poisson(h/μ)N-1\sim\operatorname{Poisson}(h/\mu). Therefore E[N]=h/μ+1\mathbb E[N]=h/\mu+1 and Var(N)=h/μ\operatorname{Var}(N)=h/\mu. This also shows why dividing thickness by mean advance need not give the exact expected count.

06Numerical verification and physical limits

The plotted probabilities are numerical evaluations of the proved formula. Across 15,659 CDF comparisons with SciPy, the largest observed absolute difference was less than 8.4×10108.4\times10^{-10}. All 15 checked quantiles matched. Another 739 checks used the exponential–Poisson identity; 25,116 deterministic checks agreed with exact rational arithmetic. These checks concern the tested inputs and do not establish a universal error bound.

Read the validation results · Python validation · JavaScript validation driver · Model implementation

Numerical agreement does not establish that the physical assumptions fit real candy. The model holds geometry and the distribution of lick effectiveness fixed, assumes independence in the gamma case, and does not model saliva flow, temperature, changing contact area, or dissolution between licks. An actual prediction requires measured thickness and an experimentally supported model of licking.

The manufacturer also identifies factors such as mouth size and saliva as affecting the count. Tootsie Roll FAQ.