 Bounded filtered-complex convergence theorem

A finite filtration of a cochain complex produces a convergent spectral sequence. The induced abutment filtration is the image of $H^n(F^{p}C)\to H^n(C)$. Finiteness in each degree suffices; a bounded range of cochain degrees is not required.