> surely has to be justified here.

True, but considering that the linked post uses e, log, limits and derivatives without any further comment, I am going to err on the side of "nah, enough detail".