MathDB
A Very Old Problem

Source: 1992 National High School Mathematics League, Exam One, Problem 13

February 27, 2020

Problem Statement

Prove that 16<i=1801i<1716<\sum_{i=1}^{80}\frac{1}{\sqrt{i}}<17.