Nクィーン問題というのがあります。

N(>=4)が大きくなれば解の数も急激に大きくなりますが、
解なし、となるようなNが存在しないと証明できるのでしょうか？

解の数も単調に増加すると証明できるのでしょうか？