Leray and Schauder laid the foundations for the generalization of the Lefschetz index to infinite dimensions.
Thus F vanishes to infinite order at x.
Note that both sides of the inequality may well be infinite.
The sum in (2), though formally infinite, is therefore actually finite.
We consider every subset of N, whether finite or infinite, to be an increasing sequence.