Let . Taking logarithms gives . Equivalently, in terms of the Lambert W function. Iteration for large gives and hence