Niech dane będą ciągi nieskończone (an),(bn)(a_n),(b_n) oraz (cn)(c_n). Jeżeli istnieje δ>0\delta>0 taka, że dla dowolnego n>δn>\delta spełniona jest nierówność:
an≤bn≤cn
a_n\le b_n\le c_n
oraz n→∞liman=n→∞limcn=g\displaystyle\lim_{n\to\infty}a_n=\displaystyle\lim_{n\to\infty}c_n=g, to n→∞limbn=g\displaystyle\lim_{n\to\infty}b_n=g.