Sin embargo, como 1 + ("k" + 1)"x" + "kx" ≥ 1 + ("k" + 1)"x" (porque "kx" ≥ 0), se tiene que (1 + "x") ≥ 1 + ("k" + 1)"x", lo cual significa que el enunciado es cierto para "n" = "k" + 1.