Note that this is in accordance with the results of Ekedahl and Zhou.
Moreover, for \(p=2\)  this gives \(a\le (g+1)/2\) ,
a result of Stöhr-Voloch, [1]}. They
show that this inequality is strict if
\(g\ge 3\)  and \(C\)  non-hyperelliptic.
