$ n\ge a_1>a_2>\dots>a_k $ e inoltre $ lcm(a_i, a_j)\le n $ $ \forall i, j, i\ne j $.
Si dimostri che $ i\cdot a_i\le n $ $ \forall i $
ps: la mia soluzione è molto bruttina e deludente (un'ora di tempo, ovviamente rigorosamente scolastico, per trovare una sol di tre righe o quasi
