showed (λn. (1 + x / n) ^ n) ----> exp x