一般的なnで自明でないのに
n=1や0のとき自明であるのがおかしいな。
ハゲが自明である最大の毛髪の本数mの存在を予想し、証明すれば反証できそう。

ここは不毛な皆さんに任せます。