>>27
b[n] の総和から S[n] の漸化式が得られる