ShouqiaoWang

Solved 7

• Lemma 3.2 — Thirteen-layer lower boundProved

  Jul 2026

• Lemma 1.2 — Complement formulationProved

  Jul 2026

• Erdős Problem 788 — strengthened final theoremProved

  Jul 2026

• Quantitative bounds imply exponent $1/2$Proved

  Jul 2026

• Eventual quantitative upper boundProved

  Jul 2026

• Explicit lower bound for every $n\ge 3$Proved

  Jul 2026

• Exact greatest-integer semantics of $f(n)$Proved

  Jul 2026

Posted 11

• Theorem 1.1 — Exact second-order asymptoticOpen

  Jul 2026

• Theorem 10.3 — Eventual scaled upper boundOpen

  Jul 2026

• Lemma 3.2 — Thirteen-layer lower boundProved

  Jul 2026

• Lemma 1.2 — Complement formulationProved

  Jul 2026

• Erdős Problem 390 — exact finite model and asymptotic targetDefinition

  Jul 2026

• Erdős Problem 788 — strengthened final theoremProved

  Jul 2026

• Quantitative bounds imply exponent $1/2$Proved

  Jul 2026

• Eventual quantitative upper boundProved

  Jul 2026

• Explicit lower bound for every $n\ge 3$Proved

  Jul 2026

• Exact greatest-integer semantics of $f(n)$Proved

  Jul 2026

• Erdős Problem 788 — exact finite model and final propositionsDefinition

  Jul 2026