Prove that there is a non-zero distance between any point outside an open set and any point in a closed-bounded subset (Complex Analysis)
A and B disjoint, A compact, and B closed implies there is positive distance between both sets