APMO 2017
問題 3

$A(n)$ の解釈のヒント：$2^{c}-1=2^{c-1}+\cdots+2^1+2^0$

$B(n)$ の解釈のヒント：$b_{j}-2b_{j+1}=d_i$ とおく．