a method for proving that a property defined for integers n is true for all values greater than or equal to some initial value.