2 The John Knopfmacher Centre for Applicable Analysis and Number Theory [Johannesburg]
We solve the recursion S_n=S_n-1-q^nS_n-p, both, explicitly, and in the limit for n→∞, proving in this way a formula due to Merlini and Sprugnoli. It is also discussed how computer algebra could be applied.