Skip to content

Erdős problem 769

Start work

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.

Nothing has been recorded here yet.

How far the record reaches3 of 6 stages
  1. Sourceerdos-problems
  2. StatementRetained
  3. Formal2 retained
  4. ResolutionNone filed
  5. WorkNone recorded
  6. DecisionNone here
  7. The questionNot reached
What this record is missingResolution

No source retained here records an outcome for this question.

Its collection still marks it open.

Open the source record
Where the source files it684 share a topic
Number Theory576Geometry110
Erdős problem 94acceptedErdős problem 321accepted
Carrying a Standing. Browse the topic.
Start workOpen sources