--- aliases: ["Hasse theorem"] --- For $X \in \Ell_{/\FF_q}$ a genus $g$ curve, $$ \abs{ X(\FF_q) - (q+1) } \leq 2g \sqrt{q} $$