Mahler's theorem ($f(x)={\sum }_{n\ge 0}{a}_n\left(\genfrac{}{}{0ex}{}{x}{n}\right)$)

Every function in continuous functions on the p-adic integers has a unique uniformly convergent expansion in the binomial polynomials, with $a_n\to 0$ and $a_n=({\Delta }^{n}f)(0)$. Conversely, any coefficient sequence tending to zero defines such a continuous function. To prove the expansion once $a_n\to 0$ is known, use $|(\genfrac{}{}{0ex}{}{x}{n}){|}_p\le 1$ for uniform convergence. Finite binomial inversion gives agreement with $f$ at each nonnegative integer, and density gives agreement everywhere. The coefficients recover successively from these integer values, proving uniqueness. Moreover $\Vert f{\Vert }_{\infty }={\sup }_n|a_n{|}_p$, because finite differences bound each coefficient by the norm and the expansion gives the reverse inequality.