Az $a_1$, $a_2$, $\text{...}$, $a_k$ pozitív egész számokra teljesül, hogy $n\geqq a_1>a_2>\text{...}>a_k$, továbbá közülük bármely kettő legkisebb közös többszöröse legfeljebb $n$. Bizonyítandó, hogy $i{a}_i\leqq n$.