Weil conjectures
The Hasse–Weil bound is a consequence of the Weil conjectures, originally proposed by André Weil in 1949 and proved by André Weil in the case of curves.