Problem

Source: Turkey TST 2015

Tags: Turkey, TST, combinatorics, algebra, Set partition



Let $m, n$ be positive integers. Let $S(n,m)$ be the number of sequences of length $n$ and consisting of $0$ and $1$ in which there exists a $0$ in any consecutive $m$ digits. Prove that \[S(2015n,n).S(2015m,m)\ge S(2015n,m).S(2015m,n)\]