Formal target: Corpus.Erdos358.erdos_358.variants.prime_set
When $A =\{a_1 < \cdots\}$ corresponds to the set of primes, it is conjectured that the $\limsup$ of the number of representations $$n=\sum_{u\leq i\leq v}a_i$$ is infinite.
Exact formal statement
Eq.{1} (Filter.limsup.{0, 0} (fun n => Nat.cast.{0} (Corpus.Erdos358.f (Nat.nth Nat.Prime) n)) Filter.atTop.{0})
Top.top.{0}This target is a formal statement, not a proof of the problem.
Environment availability: available.