Skip to content

Erdős problem 769

For the least cutoff c(n)c(n) after which every kk occurs as the number of homothetic cubes in a decomposition of the unit nn-cube, is c(n)nnc(n) \gg n^n? The Lean proof shows c(n)=o(nn)c(n) = o(n^n) along odd dimensions.

Sources

Browse retained paths and inspect the exact material available for this Problem.

3 retained statements2415f78e850a

Open selected source

Retained excerpts/

VibeMathed

Retained source excerpt1 of 1

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

Search problems.science

Find a Problem, Result, source, or page