Skip to content

Problems · Vela Mathematics Program

Narrowed toformalized ×powers ×Clear all

Problem ledger

3 problemsGraph view
declared open · formalizederdos:323
True ↔ ∀ k ≥ 1, ∀ ε > 0, (fun x => ↑x ^ (1 - ε)) =O[Filter.atTop] fun x => ↑(Erdos323.f k k x)
number theorypowersA004825 · A004831 · A004832 · A004833 · A004842 · A004843 · A004844 · A004845 · A004857 · A004869 · possible2 sources
declared open · formalizederdos:324
sorry ↔ ∃ f, Set.InjOn (fun x => match x with | (a, b) => Polynomial.eval (↑a) f + Polynomial.eval (↑b) f) {(a, b) | a < b}
number theorypowersN/A2 sources
declared open · formalizederdos:325
True ↔ ∀ (k : ℕ), 3 ≤ k → (fun x => ↑x ^ (3 / ↑k)) =O[Filter.atTop] fun x => ↑(Erdos325.cardIsSumThreePowerBelow k x)
number theorypowersA004825 · A004832 · A004843 · A004854 · A004865 · possible2 sources

Search problems.science

Find a Problem, Result, source, or page