Hilbert-Kunz function/Projective variety/Global sections and Frobenius pull-back/Section