lim n to infty ( 2^n * sin (2^{1-n} ))