asymptote (1/2)^x