From Faulhaber's formula we can see that $S(x,y)*(y+1)*den(\max\{B_y,B_{y-1}\})$ is divisible by $x$, so for $x>z*(y+1)*den(\max\{B_y,B_{y-1}\})$ our expression $S(x,y)$ gives remainder more than $z$ modulo $x$ provided $z\not =0$.
Pavel Kozlov
- 377
- 1
- 2
- 12