`m(N, 1) = 2` for every `N ≥ 2`: the witness is the classical pair `{0,2}` vs `{1,1}`.

Initializing...

`m(N, 1) = 2` for every `N ≥ 2`: the witness is the classical pair `{0,2}` vs `{1,1}`. · Prove2Me