unexhausting induction

Мат. неисчерпывающая индукция