(by Serre duality)
Estimate (we can refine this later)
(Riemann’s result, )
As described in Hirzebruch’s book, from , we get , and then
There are two approaches that we can take:
1. Tensor by and compute
2. Riemann-Roch for vector bundles: we have instead of . Here, is the rank.