A variant of mathematical induction is proof by infinite descent, which can be used, for example, to prove the irrationality of the square root of two.
Варијанта математичке индукције је доказ бесконачног спуштања, који се може користити на пример за доказивање ирационалности квадратног корена из два.