b_n = \sum\limits_{r+s \leq n} a_ra_s if a_n = 2^{n-1}