Let $ S $ be a nonsingular minimal complex projective surface of general type and the
canonical map of $ S $ is generically finite. Beauville showed that the geometric genus of …