lim n->inf 1/((2^(n-1))sin(x/2^{n-1}))