the sum from 0 to infinite of 1/(2^n)