A (complex) power series is always (give or take some extra hypotheses) uniformly convergent on the interior of its disc of convergence. How do we prove this? Also, what is the exact statement? Does it converge uniformly on the interior, or just on every closed subset of the interior?
I think I can prove that it's normally convergent on any closed sub-disc of the interior, and since I think I also have that the function space $X\to\mathbb C$ for any set $X$ is complete (under the usual supremum of absolute value metric), I think I can prove that this implies absolute convergence. Is this correct? Can the result be strengthened?