weak induction

[ریاضیات] استقرای کم توان