olymmath

HMMT 2004 T16

  • Team

Now suppose again that nn is odd. Prove that

σ(1)⌊log⁡2n⌋+σ(3)⌊log⁡2(n/3)⌋+σ(5)⌊log⁡2(n/5)⌋+⋯+σ(n)⌊log⁡2(n/n)⌋<n2/8\sigma(1)\left\lfloor\log _{2} n\right\rfloor+\sigma(3)\left\lfloor\log _{2}(n / 3)\right\rfloor+\sigma(5)\left\lfloor\log _{2}(n / 5)\right\rfloor+\cdots+\sigma(n)\left\lfloor\log _{2}(n / n)\right\rfloor<n^{2} / 8

Dataset text NuminaMath olympiads. Quoted with source.

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/t16 · Tag NZ6RFT4VYT · Edit this page on GitHub · Keys: j next, k previous