[0CS] Let en,dn be two real sequences such that dn≤en for each n, and suppose that lim supnen=lim infndn=b (possibly infinite): then show that limnen=limndn=b.
[0CT]↺↻