sum 4^n n=0 to 2012