4* n + 2 < 2^n ( 1 )
Anfang:
für n = 5
4 * 5 * +2 < 2 ^5
2 < 32
=> Für n = 5 ( 1 ) ist wahr
Voraussetzung:
4 * n + 2 < 2 ^n ( 2 )
Behauptung:
4 * ( n + 1 ) + 2 < 2 ^{n + 1 } ( 3 )
Schritt:
4 * n + 4 + 2 < 2 ^n * 2 ( 4 a )
Jetzt 2^n durch linke Seite von ( 2 ) ersetzen:
4 * n + 6 < ( 4 * n + 2 ) * 2
4 * n + 6 < 8 * n + 4
4 * n + 6 < 4 * n + 4 * n + 4 ( 4 b )
Jetzt muss noch gezeigt werden, dass der eine Teil aus ( 4 b ) stimmt. Nämlich:
6 < 4 * n + 4 ( 4 c )
Da kann man jetzt einfach 1 einsetzen:
6 < 8
oder man argumentiert so:
Da es sich bei der linken Seite um eine "lineare Steigung" handelt und auf der rechten Seite um eine konstante, ist die rechte Seite größer \(\forall \ n \geq 1\)
Das wäre mein Vorschlag. Ich bin nur nicht ganz sicher, ob es legitim ist, so zu "argumentieren".
Gruß
Smitty