Lim e x 1 x proof