Igazoljuk, hogy ha az a1;a2;...;a2017 nemnegatív valós számok átlaga 1, akkor teljesül a következő egyenlőtlenség: