  In this paper, we prove effective upper bounds for effective sections of line
bundles on projective varieties and hermitian line bundles on arithmetic
varieties in terms of the volumes. They are effective versions of the
Hilbert--Samuel formula and the arithmetic Hilbert--Samuel formula.
