Formal target: Corpus.OEIS7468.conjecture

The only positive integer $n$ such that $a(n)$ is a perfect square is $n=38$.

Exact formal statement

∀ (n : Nat), LT.lt.{0} 0 n → IsSquare.{0} (Corpus.OEIS7468.a n) → Eq.{1} n 38

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

Environment availability: available.