Formal target: Corpus.OEIS111114.conjecture

Conjecture: As $n \rightarrow \infty$, there are infinitely many n's such that $a(n)$ is greater than $a(n+1)$.

Exact formal statement

Filter.Frequently.{0} (fun n => GT.gt.{0} (Corpus.OEIS111114.a n) (Corpus.OEIS111114.a (HAdd.hAdd.{0, 0, 0} n 1)))
  Filter.atTop.{0}

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

Environment availability: available.