Sharp inequalities for the harmonic numbers

Let HnHn be the n  th harmonic number. For all integers n⩾1n⩾1 we havea-log(e1/(n+1)-1)⩽Hn