What i want to prove is this $$16 \lt {1+\frac1{\sqrt2}+\frac1{\sqrt3}+\cdots+\frac1{\sqrt{80}}<18}$$
I haven't encountered any problem of this kind before, how do we proceed?
Making approximations dosen't seem feasible, so all the suggestions are welcome.