For all k≥1, the axis-parallel square-packing constant satisfies f(k^2+1) ≤ k.

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.