http://www-2ch.net:8080/up/download/1180444131239491.C4b7UN

この問題をどなたか解説していただけませんか。
特にcでaを表すあたりからワケがわからなくなっています。
n_1,...,n_iが何を表してるのか疑問です。

問題としては,集合内の要素の値が要素数と比べ少なくとも同じ時fat。
｛1,2,...,n｝のfat部分集合内で2連続整数の要素を含まない部分集合の数がa_n。
｛1,2,...,n｝の中でどの2つ要素も最低3離れている部分集合の数がb_n。
このときn≧0ならa_n=b_nであることを示せ。
というものだと思います。

前回と同じく英文の問題なので心苦しいのですが、どうかよろしくお願いします.