(16/(7*(ln 2)))*(n/(n+1))*(ln n) - H_n > 0