We prove an effective upper bound on the number of effective sections of a
hermitian line bundle over an arithmetic surface. It is an effective version of
the arithmetic Hilbert--Samuel formula in the nef case. As a consequence, we
obtain effective lower bounds on the Faltings height and on the
self-intersection of the canonical bundle in terms of the number of singular
points on fibers of the arithmetic surface
