The constant c satisfies c(n) ≥ (1/√2 − o(1))/√n.

1. Sep 13, 2026 · Extractor

   Claim entered the graph

Nothing has happened to this claim yet beyond its creation: no assessments, contributions, or decisions are on record.