sum(1 - (log n)/n)^n