Divisibilità sulle somme parziali della totiente

[HiTLeuLeR]

Problema: essendo $ n \in \mathbb{N}_0 $, poniamo $ \Phi(n) = \varphi(1) + \varphi(2) + \ldots + \varphi(n) $, ove $ \varphi(\cdot) $ è la funzione dei totienti di Eulero (click!). Mostrare allora ch'esistono infiniti $ n \in \mathbb{N}_0 $ tali che $ n \mid \Phi(n) $.