Domains of holomorphy in the complex plane There is a proof of Mittag-Leffler's theorem with an explicit construction of a holomorphic function with the prescribed poles with prescribed order and residues, for a countable discrete set of points. I do not remember the reference; but my memory from my graduate course is that one defines a series sum and make certain adjustments. I was never quite good in this type of processes; so I am facing problem with the following exercise, which is nagging me for a long time. I thought of using Math Overflow with the hope that somebody can help me out.
Now I want to prove that every open set in the complex plane is now a domain of holomorphy. We take the boundary $\partial \Omega$ of the open set $\Omega$, and we take a countable dense sequence of points $z_i$ in $\partial \Omega$. If we are able to construct a series sum with poles at $z_i$, but so that it converges absolutely and uniformly on every compact set in the interior of $\Omega$, then we are done.
I would be most grateful if somebody can show me how to do the above.
 A: Let $\zeta_k$ be a countable dense sequence of points in the boundary and consider $f(z) = \sum \frac{1}{2^k} \frac{1}{z-\zeta_k}$. The sum is plainly uniformly convergent on any subset of finite distance from the boundary, in particular on any compact subset of the interior. 
A: Rather than trying to put the poles on the boundary, choose a countable discrete subset $D = \{z_n\}$ of $\Omega$ whose closure contains $\partial \Omega$ (first convince yourself this is always possible) and then apply Mittag-Leffler's theorem to get a holomorphic function $f$ on $\Omega$ such that $\lim_{n \rightarrow \infty} |f(z_n)| = \infty$.  Then show that this does what you want.  
Addendum: I found a reference for the interpolation result I was using.
Theorem (Rudin, Real and Complex Analysis, Theorem 15.13): Let $\Omega$ be an open set in the complex 
plane and $A$ a closed, discrete subset of $\Omega$.  To each $\alpha \in A$ we associate 
a non-negative integer $m(\alpha)$ and complex numbers $w_{\alpha,i}$ for $0 \leq i \leq m(\alpha)$.  Then there exists a holomorphic function $f$ on $\Omega$ such that for all 
$\alpha \in A$ and all $0 \leq i \leq m(\alpha)$, $f^{(i)}(\alpha) = w_{\alpha,i}$.  
This theorem -- and other variants involving meromorphic functions -- is indeed due to Gosta Mittag-Leffler and is often called the Anschmiegungssatz.
