lim 0^x as x -> i