Formal target: Corpus.OEIS101779.conjecture

It is conjectured k always exists.

Exact formal statement

∀ (n : Nat), LE.le.{0} 1 n → Exists.{1} fun k => Corpus.OEIS101779.Ak n k

This target is a formal statement, not a proof of the problem.

Environment availability: available.