Jelöljük $s\left(n\right)$-nel a tízes számrendszerben felírt $n$ természetes szám számjegyeinek összegét. A nem negatív egészeken értelmezett $f$ függvényről tudjuk, hogy $f\left(0\right)=0$, és tetszőleges természetes $n$ szám mellett