فرض کنید n یک عدد طبیعی بزرگتر از یک باشد. ثابت کنید برای
k=⌈3×(32)n−2⌉
دنبالهی A1,A2,…,Ak وجود دارد بطوری که
Ai⊆{1,2,…,n},Ai≠Aj,|Ai△Aj|=1⟺|i−j|=1,1≤i,j≤n
منظور از Ai△Aj تفاضل متقارن Ai و Aj یعنی (A_i – A_j) \cup (A_j –A_i) است. همچنین \lceil n \rceil نمایانگر کوچکترین عدد صحیح ناکمتر از n است.
مثال: در حالت n=3 خواهیم داشت k=5 و دنبالهی مورد نظر میتواند به صورت زیر باشد:
A_1=\{ \} \quad , \quad A_2=\{ 1 \} \quad , \quad A_3=\{1,2 \} \quad , \quad A_4=\{1,2,3\} \quad , \quad A_5=\{2,3\}
راهنمایی: میتوانید از استقرا استفاده نمایید.