Same hit rate 0.90. Six views, from most visual to most compact. Likelihood only, no prior.
500 trials, 450 hits. The first 50 trials hold 45 hits. Curve = likelihood L(\theta)\propto\theta^{x}(1-\theta)^{n-x}, scaled to area 1.
Likelihood of hit rate \theta: L(\theta)\propto\theta^{x}(1-\theta)^{n-x}. Curves are scaled to area 1. Two data sets, same hit rate, different n.
A B. Bars under the axis = central 95% interval. Dotted line = probe \theta = hit rate - 0.10.
\log L(\theta)-\log L(\hat\theta). Near the peak this is a parabola with curvature n/\bigl(\hat\theta(1-\hat\theta)\bigr). B has curvature n_B/n_A times larger, so it drops faster.
Term used everywhere: "likelihood", L(\theta)\propto\theta^{x}(1-\theta)^{n-x}. Each arrow states its reason.
The whole argument as one chain. Click a step to open its detail steps. Each arrow says why the next step is needed. Use Read the full section to jump to the long text in tab D.
Both data sets give the same best estimate: \hat\theta=\tfrac{45}{50}=\tfrac{450}{500}=0.9.
Only the width of the likelihood differs. 500 trials give a much narrower curve.
Plan: (a) find the peak, (b) measure how sharp the peak is, (c) turn the sharpness into a width.
Because we first need to say exactly what the curve is.
Define the object:
Symbols: \theta candidate success probability, x successes, n trials.
Experiment A: L_A(\theta)=\binom{50}{45}\theta^{45}(1-\theta)^5.
Experiment B: L_B(\theta)=\binom{500}{450}\theta^{450}(1-\theta)^{50}.
No prior is used. The same candidates meet two amounts of data.
Because the two functions look related. The next step shows how.
Rewrite the powers: \theta^{450}=(\theta^{45})^{10} and (1-\theta)^{50}=[(1-\theta)^5]^{10}.
So L_B(\theta)\propto[L_A(\theta)]^{10}. The constants differ, the shape is the 10th power.
Test at \theta=0.8, relative to the peak at 0.9:
Result: \theta=0.8 stays plausible with 50 trials and is almost ruled out with 500.
Because this shows that the curve narrows, not by how much. We need a number for the width, so we use derivatives. The log makes them easy.
Take the log: \ell(\theta)=\log L(\theta). Rules: \log(ab)=\log a+\log b and \log(a^k)=k\log a. The peak does not move.
Result of the log:
Differentiate (the binomial coefficient is constant):
Set \ell'(\theta)=0, cross-multiply, expand, cancel -x\theta: x=n\theta.
Result: \hat\theta=x/n=0.9 for A and for B. Same peak.
Because the peaks match, the width must come from how sharply the curve bends. That is the second derivative.
Toy check: f''=-2 bends gently, g''=-20 bends sharply. A more negative second derivative means a sharper peak.
Differentiate \ell' again:
Substitute x=n\hat\theta and n-x=n(1-\hat\theta), cancel, combine fractions (numerator becomes 1):
Numbers: A gives -50/0.09=-555.56. B gives -500/0.09=-5555.56. B is 10 times sharper.
Because sharpness is still not a width. A Taylor approximation turns it into a parabola, and the exponential turns that into a bell curve.
Taylor expansion of \ell around \hat\theta: value, plus slope term, plus curvature term.
The slope term vanishes because \ell'(\hat\theta)=0.
Substitute the curvature:
Exponentiate (e^{\log a}=a) to return to the likelihood:
Because this has the same shape as a normal density. Matching the two gives the width.
Normal exponent: -\frac{(\theta-\mu)^2}{2\sigma^2}. Our exponent has the same form.
Centres match: \mu=\hat\theta.
Coefficients match: \frac{1}{2\sigma_L^2}=\frac{n}{2\hat\theta(1-\hat\theta)}. Cancel the 2, invert both sides: \sigma_L^2=\frac{\hat\theta(1-\hat\theta)}{n}.
Square root: \sigma_L\approx\sqrt{\hat\theta(1-\hat\theta)/n}.
Caution: \sigma_L is an approximate width of the likelihood, not the SD of a distribution over \theta.
Because now we can put in the numbers for both experiments.
A: \sigma_A=\sqrt{0.09/50}=0.0424.
B: \sigma_B=\sqrt{0.09/500}=0.0134.
Ratio: \sigma_A/\sigma_B=\sqrt{500/50}=\sqrt{10}\approx3.16.
Ten times more data gives \sqrt{10} times less width, not 10 times. This is the square-root law of sample size.
Slider: number of trials. Solid curve: exact relative likelihood. Dashed: 50-trial reference. Dotted: the normal approximation from step 5.
At n=200: curvature 2222.2 and width 0.0212.
One trial: SD \sqrt{\theta(1-\theta)}.
Sample proportion \hat\theta=X/n: SD \sqrt{\theta(1-\theta)/n}. This is sampling uncertainty over repeated experiments.
Likelihood as a function of \theta: width \sqrt{\hat\theta(1-\hat\theta)/n}, from one observed dataset.
Different concepts, same square-root expression in the binomial case.
Let's build this explanation from first principles, step by step.
We will understand not only why the likelihood becomes more concentrated, but also where the formula for its width comes from. We will connect the likelihood, its maximum, the first and second derivatives, the normal distribution, and the standard deviation.
The central observation is:
Both experiments suggest a success probability of 90%. Yet the second experiment gives much stronger evidence that the true probability is close to 0.9.
Why?
Imagine we are evaluating the detection rate of a banking fraud system. We run two experiments. Experiment A: 45 / 50 detections. Experiment B: 450 / 500 detections. Both show 90% success.
We want the system's unknown true probability of detecting fraud, which we call \theta (theta). The likelihood curve asks: for each hypothetical value of \theta, how probable is the data we actually observed?
For a binomial experiment:
Let's decode the notation.
| Symbol | Meaning |
|---|---|
| L(\theta) | Likelihood of the observed data if the success probability were \theta |
| n | Total number of trials |
| x | Number of successes |
| \theta | Candidate success probability |
| 1-\theta | Candidate failure probability |
| \binom{n}{x} | Number of ways to arrange x successes among n trials |
For Experiment A:
For Experiment B:
These are two different functions of the same unknown \theta. The horizontal axis holds candidate values of \theta; the vertical axis gives the likelihood at each candidate. No prior distribution is involved. We compare the same candidates against two amounts of data.
Tabs 1 and 2 draw the exact curves for 45/50 and 450/500, each divided by its own maximum so both peaks have height 1. That makes the widths comparable.
Two things stand out:
We need to explain both observations mathematically.
Before any derivative, notice a relationship between the two likelihoods.
But:
Therefore:
The symbol \propto means proportional to: the two sides differ only by a constant that does not depend on \theta. The second likelihood has the shape of the first one raised to the 10th power.
Compare the candidate \theta=0.8 with the best-fitting candidate \theta=0.9. For 50 trials:
So the likelihood at 0.8 is about 16.0% of the maximum. For 500 trials, the relative likelihood is the 10th power of that number:
| Candidate \theta | Relative likelihood, 50 trials | Relative likelihood, 500 trials |
|---|---|---|
| 0.8 | 0.160 | 1.08\times10^{-8} |
| 0.9 | 1 | 1 |
The second experiment penalizes a candidate like 0.8 far more strongly. This already explains the narrowing: with the same 90% rate over many more trials, values away from 0.9 become much less compatible with the data. Now let's quantify how narrow the curves become.
A derivative gives the slope of a curve. Imagine walking along a hill: uphill has positive slope, the summit has zero slope, downhill has negative slope. We want the summit of the likelihood, so we look for the point where the slope is zero:
The prime means the first derivative. The likelihood contains powers and products, so we simplify it with logarithms first.
Two rules turn products and powers into sums and multiples:
We define the log-likelihood:
Be careful with the notation:
| Symbol | Meaning |
|---|---|
| Big L(\theta) | Original likelihood |
| Small \ell(\theta) | Logarithm of the likelihood |
| L(\hat\theta) | Maximum likelihood value |
The logarithm is an increasing function, so the location of the maximum does not change when we take it. Starting from L(\theta)=\binom{n}{x}\theta^x(1-\theta)^{n-x}, take logarithms:
Differentiate with respect to \theta. We use two rules:
The binomial coefficient does not depend on \theta, so its derivative is zero. Therefore:
At the maximum the slope is zero. We set it to zero and solve one rule at a time:
Hence:
The hat on \theta marks the value of the parameter that maximizes the likelihood. For Experiment A, \hat\theta_A=\frac{45}{50}=0.9. For Experiment B, \hat\theta_B=\frac{450}{500}=0.9. This proves why both curves have the same peak. Their widths differ, so we need another derivative.
The first derivative tells us the slope. The second derivative tells us how quickly that slope changes. Consider two simple curves:
Both reach their maximum value of 10 at \theta=0.9, but g falls much faster as we move away. Differentiate twice:
The more negative second derivative marks sharper downward curvature. The same principle applies to the log-likelihood. Start from:
Differentiate each term once more:
Therefore:
We know \hat\theta=x/n, so x=n\hat\theta and n-x=n(1-\hat\theta). Substitute:
Cancel common factors:
Take n outside:
Combine the fractions over a common denominator:
The numerator simplifies to 1. Thus:
We have derived this formula entirely from the likelihood.
The log-likelihood for 500 trials has 10 times the downward curvature. The number of trials n sits in the numerator, so for a fixed observed proportion the curvature grows with n. The likelihood therefore falls more sharply away from its peak.
This is the most important connection. We know the second likelihood is sharper. To turn sharpness into a number for width, we use a Taylor approximation: near a point, a smooth function is approximated by its value, slope and curvature there. Near \hat\theta:
Let's decode the three terms.
| Term | Meaning |
|---|---|
| \ell(\hat\theta) | Height of the log-likelihood at its maximum |
| \ell'(\hat\theta)(\theta-\hat\theta) | Adjustment based on slope |
| \tfrac12\ell''(\hat\theta)(\theta-\hat\theta)^2 | Adjustment based on curvature |
At the maximum \ell'(\hat\theta)=0, so the slope term disappears:
Substitute the curvature formula:
Near the peak, the log-likelihood behaves like a downward-opening parabola.
We converted the likelihood to its logarithm only to simplify differentiation. We now want the original likelihood back. The exponential reverses the logarithm: e^{\log a}=a. Exponentiate both sides and use e^{a-b}=e^a e^{-b}:
Replace each exponentiated log-likelihood with its likelihood:
What does this formula mean?
At \theta=\hat\theta the exponent is zero, so the factor equals 1. Farther away, the squared distance grows, the exponent becomes more negative, and the likelihood decreases.
Look at the normal density:
Here \mu is the mean (the centre), \sigma is the standard deviation (the spread), and \sigma^2 is the variance. Compare the exponentials. Our likelihood approximation has \exp\left[-\frac{n(\theta-\hat\theta)^2}{2\hat\theta(1-\hat\theta)}\right]. The normal density has \exp\left[-\frac{(\theta-\mu)^2}{2\sigma^2}\right]. They have the same structure.
First, compare the centres:
Next, compare the coefficients that multiply the squared distance, and solve one rule per line:
We have derived the approximate width of the likelihood from its shape. An important distinction: the likelihood is not a probability distribution over \theta. So \sigma_L is an approximate width parameter, not literally the standard deviation of the raw likelihood. It also equals the usual plug-in estimate of the standard error of the observed success proportion.
With 50 trials the width is 0.0424, which is 4.24 percentage points. With 500 trials it is 0.0134, which is 1.34 percentage points. The ratio:
The likelihood for 500 trials is about 3.16 times narrower. Notice that ten times more observations does not make the width ten times smaller. It makes it \sqrt{10} times smaller. This is the familiar square-root relationship between sample size and uncertainty.
The graph holds the observed success proportion at 90%. Move the slider to change the number of trials and watch the width. The solid curve is the exact relative likelihood. The dashed curve is the 50-trial reference. The dotted curve is the normal approximation from section 6.
Both exact curves are scaled to a peak height of 1. The approximate width and the curvature update with the sample size.
We have discussed three different mathematical objects.
| Object | Centre or mean | Spread |
|---|---|---|
| One success/failure trial X_i | \theta | SD =\sqrt{\theta(1-\theta)} |
| Sample success proportion \hat\theta=X/n | Expected value =\theta | SD =\sqrt{\theta(1-\theta)/n} |
| Likelihood as a function of \theta | Maximum at x/n | Approximate width =\sqrt{\hat\theta(1-\hat\theta)/n} |
The sample proportion is a random variable. Repeat experiments of 50 trials and each gives a slightly different proportion. The standard deviation of those proportions describes sampling uncertainty.
The likelihood is a function of candidate values of \theta, calculated after one particular dataset is observed. Its width describes how quickly the relative likelihood falls away from its maximum. These are different concepts, even though they lead to the same square-root expression in this binomial example.
Start with the likelihood:
The first derivative locates the maximum:
The second derivative measures sharpness:
The Taylor approximation gives a normal-like shape:
Matching the normal curve gives the approximate width:
The final intuition: both 45/50 and 450/500 suggest the same best estimate, \theta=0.9. With 500 observations, the likelihood decreases much faster as we move away from 0.9. Its log-curvature becomes 10 times greater and its approximate width becomes \sqrt{10} times smaller. That is why more data can make us more confident about an estimate without changing the estimate itself.
Term used everywhere: "likelihood". L(\theta)\propto\theta^{x}(1-\theta)^{n-x}. Here \theta = hit rate, x = hits, n = trials. Full derivation: tab D.
Result: the peak is at the same place. Only the width differs.
Result: n multiplies the log-likelihood. B has 10 times the log-likelihood of A at every \theta.
Result: B is \sqrt{10}=3.16 times thinner. The exact curve gives 0.0439 and 0.0135, a ratio of 3.26.
Result: A still allows \theta=0.8. B almost excludes it.
| Data | 95% interval | Width | Peak height |
|---|---|---|---|
| A: 45 / 50 | 0.786 \text{ to } 0.956 | 0.170 | 9.4 |
| B: 450 / 500 | 0.871 \text{ to } 0.923 | 0.053 | 29.7 |
Result: the width falls by about 1/\sqrt{n}. A thinner curve is a taller curve, because the area stays 1.