Zakładamy, że:

(a_n) -ciąg geometryczny o ilorazie q

Oraz

Wówczas wszystkie wyrazy tego ciągu są ujemne.

Z definicji ciągu geometrycznego mamy: