据说是ARML的问题...
Let S = {f(k) | f(1)=i,f(2)=j,f(n+2)=f(n+1)+f(n) for all n belongs to N}
i,j
i<j, i,j belongs to N
Could N be partitioned by infinite S ?
i,j
即存在无限个S，彼此之间交集为空集合，联集为所有自然数
Ex: S = {2,5,7,12,19,...}
2,5