Theorem 7.2 (Hasse’s Theorem). Assuming that:

Then
|#E(𝔽q)(q+1)|2q.