a) Suppose we have functions g and G such that
x→alimg(x)=x→alimG(x)=z.Suppose further that
y→zlimf(y)=lfor some function f.
Pick any ε>0. By definition, there exists δ>0 such that for all y,
0<∣y−z∣<δ⟹∣f(y)−l∣<ε.There also exist α1 and α2 such that for all x,
0<∣x−a∣<α1⟹∣g(x)−z∣<δand
0<∣x−a∣<α2⟹∣G(x)−z∣<δ.By picking α=min(α1,α2), we have
0<∣x−a∣<α⟹∣g(x)−z∣<δ⟹∣f(g(x))−l∣<εand
0<∣x−a∣<α⟹∣G(x)−z∣<δ⟹∣f(G(x))−l∣<ε.Hence,
x→alimf(g(x))=x→alimf(G(x))=l.Now, suppose f is continuous at l and limx→ag(x)=l. We define G as
G(x)=g(x) for x=aandG(a)=l.Combining the result we just proved and the theorem on the composition of continuous functions, we have
f(l)=x→alimf(G(x))=x→alimf(g(x)).b) Consider f(x)=0 for x=l and f(l)=1. We have
x→alimf(g(x))=0=1=f(l)=f(x→alimg(x)).