Możemy wnioskować, że $a_n>0$, gdy:

$n=1$   lub   $n=2$   lub   $n=3$

Oznacza to, że wyłącznie:

$a_1>0,a_2>0,a_3>0$

Zatem w tym ciągu są dokładnie trzy wyrazy dodatnie, co należało udowodnić.