Is it possible to partition all positive integers into disjoint sets A and B such that
(i) no three numbers of A form an arithmetic progression,
(ii) no infinite non-constant arithmetic progression can be formed by numbers of B? arithmetic sequencecombinatorics unsolvedcombinatorics