sum_(x=1)^infinity 1/(2^x)