Formal target: Corpus.OEIS113213.conjecture

Conjecture: $a(n) = O(n^3)$.

Exact formal statement

Asymptotics.IsBigO.{0, 0, 0} Filter.atTop.{0} (fun n => Nat.cast.{0} (Corpus.OEIS113213.a n)) fun n =>
  HPow.hPow.{0, 0, 0} (Nat.cast.{0} n) 3

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

Environment availability: available.