Enclosing all zeros of an analytic function - A rigorous approach