Проблема действительно является проблемой со-НП.
Чтобы увидеть, есть ли проблема в co-NP, вам нужно проверить, есть ли полиномиальный верификатор, который мог бы отрицать вопрос.
В этом случае мы могли бы указать основные факторы n - можно легко проверить, действительно ли они являются основными коэффициентами n, а также, если один из факторов меньше k. Если нет, то нет коэффициента меньше, чем k!
Делая это таким образом, мы доказываем, что проблема также в NP, потому что таким же образом у нас есть верификатор, который подтверждает.