(4a) (4 points) Consider the following poorly justified proof of the fact that limΓ’βΒ¬(zΓ’β β-Γ’ΛΕΎ)Γ’Β‘ãβ¬βf(z)Γ£β¬β = aΓ’ββ¬
1. For n < 0, we know that limΓ’βΒ¬(zΓ’β β-Γ’ΛΕΎ)Γ’Β‘ãβ¬βaΓ’ββ’(z - zΓ’ββ¬)Γ’ΒΒΏΓ£β¬β = 0
2. We have that
limΓ’βΒ¬(zΓ’β β-Γ’ΛΕΎ)Γ’Β‘ãβ¬βΓΒ£ aΓ’ββ’(z - zΓ’ββ¬)Γ’ΒΒΏΓ£β¬β = ΓΒ£ limΓ’βΒ¬(zΓ’β β-Γ’ΛΕΎ)Γ’Β‘ãβ¬βaΓ’ββ’(z - zΓ’ββ¬)Γ’ΒΒΏΓ£β¬β.
3. Therefore, limΓ’βΒ¬(zΓ’β β-Γ’ΛΕΎ)Γ’Β‘ãβ¬βf(z)Γ£β¬β = aΓ’ββ¬ +
ΓΒ£ aΓ’ββ’(z - zΓ’ββ¬) = aΓ’ββ¬
This proof is essentially correct, but one line is completely unjustified. Identify the unjustified line and explain why it is unjustified.
(4b) (6 points) Assume the claim in part (a) is true. Prove that the function g(z) = zΓ’ΒΒ° is analytic. (Hint: think in terms of removable singularities.)