Teraz wiemy, że mamy do czynienia z liczbami naturalnymi, więc
Z drugiego i trzeciego kwantyfikatora możemy wnioskować, że
Zatem nasz wynik operacji to jakaś liczba dodatnia podzielona przez iloczyn liczb dodatnich, czyli na pewno całość jest dodatnia, zatem zapisujemy ciąg jest rosnący, ponieważ różnica n+1-szego i n-tego wyrazu tego ciągu jest większa od zera.
Teraz wiemy, że mamy do czynienia z liczbami naturalnymi, więc
Z drugiego i trzeciego kwantyfikatora możemy wnioskować, że
Zatem nasz wynik operacji to jakaś liczba dodatnia podzielona przez iloczyn liczb dodatnich, czyli na pewno całość jest dodatnia, zatem zapisujemy
ciąg jest rosnący, ponieważ różnica n+1-szego i n-tego wyrazu tego ciągu jest większa od zera.