(1-pt^{\log_an})^{\frac{1}{pt^{\log_an}}} \to \frac{1}{e}