OliForum Matematico

Dimostrare la seguente diseguaglianza:

$ \sum_{d|n} d \leq H_n + e^{H_n} ln (H_n) $

dove $ H_n = \sum_{i=1}^n {1 \over \i $

Prima che qualche malcapitato abbocchi al PESCE d'APRILE, ormai scaduto, informo che questa è una riformulazione dell'ipotesi di Riemann, quindi...bè regolatevi voi sulla difficoltà del problema...