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 , let be the initial hard-candy thickness. Let be the potential advance along that same path during lick . 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 . Thus the count is infinite if no finite sequence of licks exposes the filling.
Proof. After licks, the remaining thickness along path is . At least one path reaches the filling exactly when its cumulative advance is at least . Taking the first integer with that property gives the displayed formula.
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 , suppose every lick has the same potential advance . The final physical removal is clipped at the remaining shell thickness.
Proof. The least integer for which is the least integer at least , which is its ceiling.
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 be independent, identically distributed potential advances along one fixed path. Write and . Choose a gamma distribution with shape and scale :
This choice has and . Gamma advances are a modeling assumption, not an experimentally established law of licking.
Let and . Clipping the final physical removal does not change when this first crossing happens.
Proposition. The cumulative probability of reaching the filling by lick is and, for every integer ,
The regularized upper incomplete gamma function is
Proof. Nonnegative advances imply . To find the law of , the gamma density gives, for ,
Independence makes the Laplace transform of the sum equal to the product:
This is the Laplace transform of . Uniqueness of Laplace transforms for probability distributions on therefore gives . Integrating its density from to infinity and substituting yields
Substitute and to obtain the proposition.
The count is finite with probability one. By the strong law of large numbers, almost surely. Consequently almost surely, so a fixed finite thickness is eventually crossed.
04Read the plotted probabilities
The 3D view displays one seeded sequence of advances. After lick , its marked path has depth and remaining thickness . The first contact with the filling occurs at . 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 : the chance that filling has been exposed after completed licks. The dashed staircase uses identical advances of size . The horizontal axis focuses on the transition region; each step represents an integer count.
The probability of taking exactly licks and the -quantile are
The displayed median is . The shaded interval runs from to 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 , per lick, and , 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 . Scaling both by the same positive factor leaves the distribution unchanged.
05Boundary cases and limits
Zero variation. At , define each advance to be exactly and use . Do not substitute zero into the gamma formula.
There is a subtle discontinuity if is an integer. As , the gamma model satisfies
Indeed, has mean and variance , and its standardized gamma distribution tends to the standard normal as its shape grows. Thus . For fixed integers and , concentration around gives crossing probabilities tending to 0 and 1, respectively. At exactly , however, equality reaches the filling at lick . If is not an integer, in probability as .
An independent special-case check. When , advances are exponential and . Therefore and . 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 . 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.