Intuition The one core idea
We saw some numbers (our data ), and we believe a hidden dial (a parameter like an average or a rate) produced them. Estimation is the craft of turning "here is what I saw" into "here is my single best guess for the hidden dial" — and every symbol on the parent page is just bookkeeping for that one move.
This page assumes you have never seen a single symbol on the parent note. We build them one at a time, each on top of the last, each anchored to a picture. By the end you will be able to read the parent note like a sentence.
Definition A sample and its size
When we run an experiment n times, we collect n numbers. We write them x 1 , x 2 , … , x n . The little number underneath (the subscript ) is just a name tag — x 3 means "the third number I measured", nothing more. The letter n is how many numbers there are in total.
Think of n dots scattered along a number line. That whole scatter is your "sample". The topic's entire job is to look at that scatter and guess the hidden setting that spat it out.
Why does the topic need this? Every recipe on the parent page starts from "given data x 1 , … , x n …". Without a name for the numbers, we cannot say anything about them.
X = the dice still in the air
A capital X i means "the i -th measurement before I look at it " — it could still turn out to be anything, so it is a random variable . A lowercase x i means "the actual value I did observe" — a fixed, frozen number.
X i is a coin spinning in the air (many possible outcomes). x i is the coin lying flat on the table showing heads. Same object, two moments in time.
Why the topic needs this: an estimator is built from the still-spinning X 's (so it is itself random and we can ask about its spread), while an estimate is the frozen number it spits out once the x 's land. The whole "estimator vs estimate" distinction lives entirely in this capital-vs-lowercase choice.
∑ sign = "add them all up"
∑ i = 1 n x i = x 1 + x 2 + ⋯ + x n .
Read it left to right: the letter under ∑ (i = 1 ) is where the counter starts, the letter on top (n ) is where it stops, and x i is the thing you add each time. It is a compact way to write "add these n things".
x ˉ is the balance point of your scatter of dots — the spot where a ruler holding all the dots would sit level.
Why the topic needs it: almost every answer on the parent page (λ ^ = 1/ x ˉ , p ^ = x ˉ , μ ^ = x ˉ ) is "the average, possibly flipped or reshaped". If you own x ˉ , you own half the results.
θ = the hidden dial
The Greek letter theta (θ ) is a stand-in for "the unknown number that controls the distribution" — it could be a mean, a rate, a probability. We use one symbol so the recipes work for any such dial.
^ = "my guess of"
A hat on top always means "estimated value of" . So θ ^ (read "theta-hat") is our best guess of the true θ . λ ^ is a guess of a rate; p ^ a guess of a probability; σ ^ 2 a guess of a variance.
Common mistake Hat vs no-hat
θ is the truth we never see . θ ^ is our guess we compute from data . They are almost never equal — the gap between them is the whole subject of Bias and Variance .
Why the topic needs it: estimation is precisely "produce θ ^ from the x i ". Every boxed answer on the parent page is a formula for some hat.
Definition A distribution and its density
f ( x ; θ )
A probability distribution is a rule saying how likely each outcome is (see Probability Distributions ). The density f ( x ; θ ) is a function whose height at x tells you how "concentrated" the probability is near x . The semicolon reads "given the parameter ": f ( x ; θ ) means "the density height at value x , when the dial is set to θ ".
Draw a smooth hill over the number line. Tall part = outcomes you expect often; low tails = rare outcomes. Changing θ slides or reshapes the hill.
Why the topic needs it: MLE literally reads these hill-heights at your observed points and multiplies them. MoM reads averages of these hills. Both start from f ( x ; θ ) .
For discrete data (coin: 0 or 1) we use a pmf (probability mass function): f gives an actual probability. For continuous data (a waiting time) we use a pdf (probability density function): f gives a height, and area = probability. The parent page uses pmf for Bernoulli, pdf for exponential and normal.
E [ X ] = the long-run average
E [ X ] (read "expected value of X ") is the average value you'd get if you repeated the experiment forever. For a continuous density it is computed by the integral ∫ x f ( x ; θ ) d x , but the meaning is simply "the theoretical balance point of the hill" — the x ˉ you'd see with infinite data.
Intuition Population vs sample moment
μ k = E [ X k ] is the population moment — a formula in θ , the "true" average of X k .
m k = n 1 ∑ x i k is the sample moment — the same average, but from your finite scatter.
By the Law of Large Numbers , m k → μ k as n grows. That single fact is why the method of moments is allowed to set them equal.
Why the topic needs it: MoM = "set μ k = m k and solve". You cannot even read that sentence without both moment ideas.
The Greek sigma-squared σ 2 is the variance — the average squared distance of points from their mean, E [( X − μ ) 2 ] . Its square root σ is the standard deviation , a spread measured in the same units as the data.
Two hills with the same balance point: a narrow spike (small σ 2 ) versus a wide, flat mound (large σ 2 ). σ is roughly "how far a typical point strays from the middle".
Why the topic needs it: the normal distribution N ( μ , σ 2 ) has two dials, μ and σ 2 . The parent page estimates both, and the famous "divide by n vs n − 1 " bias story is entirely about σ ^ 2 .
Intuition Why multiply, not add?
For independent events, "probability of all of them happening" is the product of the individual probabilities (like rolling a 6 twice: 6 1 × 6 1 ). Since we assume our n data points are independent, the joint density is a product — that is exactly the likelihood L ( θ ) = ∏ i f ( x i ; θ ) .
Why the topic needs it: the likelihood is born as a product. Understanding "independent ⇒ multiply" is the whole reason L has a ∏ in it.
log does
The logarithm answers "what power gives this number?" Its one magic property here:
log ( a × b ) = log a + log b .
It converts multiplication into addition . (See Logarithms for the full story.) We write ln for the natural log, base e .
Intuition Why the topic loves it
Two reasons, both on the parent page:
A product of many small densities gets tiny and hard to work with. Logs stretch tiny numbers back to a comfortable range.
Because log is strictly increasing (bigger input ⇒ bigger output), the θ that maximizes L is the same θ that maximizes log L . So we may switch to the easier sum ℓ ( θ ) = ∑ i log f ( x i ; θ ) without changing the answer.
Why the topic needs it: every MLE derivation goes L → ℓ = log L , so that ∏ becomes ∑ and calculus becomes bearable.
= 0 finds the top
At the very peak of a smooth hill, the ground is momentarily flat — slope zero. So to find the θ that maximizes ℓ , we solve d θ d ℓ = 0 (the "score equation"). This is why MLE differentiates.
Definition Second derivative check
d θ 2 d 2 ℓ is "the slope of the slope" — it tells you whether that flat spot is a peak (curve bends down, second derivative < 0 ) or a valley (bends up, > 0 ). MLE wants a peak, so we require d θ 2 d 2 ℓ < 0 .
Common mistake When slope-zero is the wrong tool
If the parameter controls the edge of the data (like U ( 0 , θ ) , where every point must be below θ ), the peak sits at a boundary, not a flat spot. There differentiation fails and you find θ ^ by inspection (θ ^ = max x i ). Keep this exception in your pocket.
Random var X vs observed x
Expectation E and moments
Parameter theta and guess thetahat
Read it top-down: raw data feeds two streams — the moment stream (average, expectation) that powers MoM , and the likelihood stream (density, product, log, derivative) that powers MLE . Both pour into the final guess θ ^ .
Read each item as a question; the answer after ::: is the readiness you should already feel.
What does the subscript in x 3 mean? A name tag — "the third measured number", nothing more.
What is the difference between X i and x i ? X i is the still-random measurement; x i is the frozen observed value.
Write ∑ i = 1 n x i in words. Add up all n data values.
What is x ˉ and what picture is it? The sample mean n 1 ∑ x i — the balance point of the data.
What does the hat in θ ^ signify? "Estimated value of" — our computed guess of the true θ .
What does the semicolon in f ( x ; θ ) mean? "Given the parameter" — the density height at x when the dial is set to θ .
Difference between μ k and m k ? μ k = E [ X k ] is the theoretical (population) moment; m k = n 1 ∑ x i k is the sample moment; LLN links them.
Why is the likelihood a product? Independent data ⇒ joint probability multiplies.
State the log property MLE relies on. log ( ab ) = log a + log b , and log is strictly increasing so it keeps the same maximizer.
Why set d θ d ℓ = 0 ? The maximum of a smooth curve is a flat point (zero slope).
Why also check d θ 2 d 2 ℓ < 0 ? To confirm the flat point is a peak, not a valley or saddle.