a) $a_1=0$
b) $\forall k\ge1 $ ya $a_{k+1}=a_k+k$ ya da $a_{k+1}=a_k-k$
c) $i \neq j$ ise $a_i \neq a_j$
d) $\mathbb{Z}=\{a_i\}_{i > 0}$sartlarini saglayan kac tane $\{a_n\}$ dizisi vardir?
Mantık olarak sonsuz olması gerekir. İspatı size ait. :)
Mantık olarak iki olması gerektiğini savunanlar da var:
0 1 -1 2 -2 3 -3 ... ya da 0 -1 1 -2 2 -3 3 ...
D şıkkı büyük kısıtlama getiriyor.