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

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