Groups
Category
Legendre's formula gives the exponent of a prime p in n! by summing how many multiples of p, p^2, p^3, ... are โค n.
Linearity of expectation says the expected value of a sum equals the sum of expected values, even if the variables are dependent.