The binomial theorem gives
The central binomial coefficient is the largest of these nonnegative binomial coefficients, so
For the upper bound, fix a prime number . By Legendre formula,
Each summand is either zero or one. Hence the P-adic valuation satisfies
If , this implies
There are at most such prime numbers. If instead , then , so the P-adic valuation is at most one. Multiplying the prime-power contributions therefore yields
Because is a perfect field, for each choose a compatible sequence
and choose arbitrary lifts of . If , the binomial theorem and the fact that the residue characteristic is give
It follows that . Thus is Cauchy, and completeness defines
The same congruence shows that the limit is independent of all lift choices. Taking products before passing to the limit proves , and reduction gives .
For uniqueness, let be two multiplicative lifts. Given and any , choose with . Since , repeated powering yields
Completeness and separation force . This is the unique Teichmuller lift.
For , let be its residue and put . Repeat with . Induction gives
The remainder tends to zero, proving the Teichmuller expansion
Reduction after subtracting successive partial sums also proves uniqueness of the digits.
The binomial theorem gives . Therefore
The geometric series with ratio converges. By the comparison test, the given series is absolutely convergent.
Expand in components:
If , all powers for vanish. The matrix binomial theorem, valid here because commutes with , therefore yields
These powers of the identity plus a square-zero matrix can also be proved by induction: . For the displayed example, directly, and
This is the repeated function composition of a shear mapping. The argument gives every nonnegative integer ; since , the same formula also holds for negative integers.
The number of successes has a binomial distribution. Each arrangement of successes and failures has probability by independence, and the binomial coefficient counts the arrangements. Therefore
The final equality is the binomial theorem. Writing as a sum of independent Bernoulli random variables gives its expectation and variance: , . Thus the matching normal distribution has
The normal approximation is appropriate when both expected counts and are sufficiently large; large alone is insufficient if is extremely close to zero or one.
For the guessing student, , , . Therefore the expected number of correct answers is , and , . The inclusive integer range becomes after the continuity correction. Standardizing the normal distribution gives
Here , and the last step uses the supplied bound. The approximate probability is . The normal approximation provides the requested conclusion; as a separate check, summing the five exact binomial probabilities gives approximately , also exceeding one half.
For the binomial distribution and , the identity gives the expectation
The final sum is one by the binomial theorem. For the variable is identically zero, so the same answer holds:
Set , so . The binomial theorem gives
Use and to obtain
This is a finite Fourier sine series, with only odd harmonics.
The sum is finite, so differentiation passes through it without a convergence issue. Each lower limit is constant with respect to , and the fundamental theorem of calculus gives the same upper-end integrand. Hence the derivative is
The binomial theorem at gives the sum . Therefore
By De Moivre's theorem, is the real part of . Writing and , the binomial theorem gives
Use the Pythagorean trigonometric identity and expand:
Therefore
The binomial theorem gives
Thus, to three decimal places,
The first three nonconstant terms already determine this rounding; the remaining positive terms total less than .
By De Moivre's theorem, is the imaginary part of . The binomial theorem gives, with ,
Use and simplify:
The requested equation cancels the term, leaving . Thus or . The complete list in is
Factor the leading term out of the Maclaurin series for the sine:
The binomial theorem gives, through degree four inside the bracket,
The coefficient of is . Multiplying back by yields
The binomial theorem gives . The required binomial coefficients are therefore
Here denotes the coefficient of in the polynomial.
For , the triangle inequality gives
Taking the supremum proves . Hence convergence for implies convergence for .
The converse is false. For , take and . Its supremum norm is , whereas the binomial theorem gives
The alternating coefficients cancel on ; the polynomial coefficient sum norm measures their absolute values before any cancellation.
In field characteristic , the binomial theorem gives , since the intermediate binomial coefficients are divisible by the prime number . If is a root of , then , and hence
Independence and convolution give
by the binomial theorem. Thus
In field characteristic , the binomial theorem gives , since the intermediate binomial coefficients are divisible by the prime number . If is a root of , then , and hence
Independence and convolution give
by the binomial theorem. Thus