MathDB
sum d_i/\sqrt {n} = sum \sqrt {n}/d_i, for pos. divisors of 1990!

Source: 1990 Swedish Mathematical Competition p1

April 2, 2021
Sumnumber theoryDivisors

Problem Statement

Let d1,d2,...,dkd_1, d_2, ... , d_k be the positive divisors of n=1990!n = 1990!. Show that din=ndi\sum \frac{d_i}{\sqrt{n}} = \sum \frac{\sqrt{n}}{d_i}.