sum of tan(1/2^r)/2^r from 1 to infinity