>2^nの各桁のうち0であるものの個数<m/2 (各桁で0が隣り合うことはないから)
嘘付け