On the Average Number of Crossings of a Level by the Sample Functions of a Stochastic Process

A strict derivation is given of the formula for the average number of times a fixed level is crossed by the sample functions of stochastic processes of some class.