(1/2)^oo == lim_(x -> inf) (1/2)^x