La somme des puissances p-èmes des entiers de 1 à n, lorsque p est impair, est multiple de n(n+1)/2. Le challenge n° 9 de Math-OS propose d'établir ce résultat.