Erdős problem 769
For the least cutoff after which every occurs as the number of homothetic cubes in a decomposition of the unit -cube, is ? The Lean proof shows along odd dimensions.
Sources
Retained excerpts/
VibeMathed
Retained source excerpt
For the least cutoff $c(n)$ after which every $k$ occurs as the number of homothetic cubes in a decomposition of the unit $n$-cube, is $c(n) \gg n^n$? The Lean proof shows $c(n) = o(n^n)$ along odd dimensions.
Open exact source location