On the estimation of an eigenvalue by an additive functional of a stochastic process, with special reference to the Kac-Donsker method