S(k,x):=k*SUM(p^(k-1),p,1,x-1)

k:epsilonInteger

;User=Simp(User)
S(k,1)=0

k:epsilonInteger (1, inf)

;User=Simp(User)
S(k,0)=0