olymmath

HMMT 2004 T13

  • Team
  • Answer

Let nn be a positive odd integer. Prove that

⌊log⁡2n⌋+⌊log⁡2(n/3)⌋+⌊log⁡2(n/5)⌋+⌊log⁡2(n/7)⌋+⋯+⌊log⁡2(n/n)⌋=(n−1)/2.\left\lfloor\log _{2} n\right\rfloor+\left\lfloor\log _{2}(n / 3)\right\rfloor+\left\lfloor\log _{2}(n / 5)\right\rfloor+\left\lfloor\log _{2}(n / 7)\right\rfloor+\cdots+\left\lfloor\log _{2}(n / n)\right\rfloor=(n-1) / 2 .

Dataset text NuminaMath olympiads. Quoted with source.

Show the answer

(n-1) / 2

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

Add a solution

Similar problems

These problems have the most words in common with this statement.

Locator hmmt/2004/t13 · Tag EFADVRS826 · Edit this page on GitHub · Keys: j next, k previous