3 ms·

correct, I missed that.

• johnnny 4y ago
  As fro your further edit: assuming √2 is rational, then the set of ~~rational~~ integers {q: q√2 ∈ ℤ} does not admit a minimum, indeed it contains arbitrarily small numbers, so we can't pick k the smallest member of that set.