Triple

T22423316
Position Surface form Disambiguated ID Type / Status
Subject Erdős discrepancy problem E554302 entity
Predicate formulation P9767 FINISHED
Object for every function f: ℕ → {−1, +1} and every C > 0 there exist n,d ∈ ℕ such that |∑_{k=1}^{n} f(kd)| > C LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69e11e4f2d0c819091aa3558ea2ee630 elicitation completed
NER batch_69f15a2af620819083338127e78137dc ner completed
Created at: April 16, 2026, 8:47 p.m.