Citat:
Ursprungligen postat av Careless
Visa med induktion att (2n över n) ≤ 4^n/√(3n+1) för alla n ≥ 1.
Känns som att jag missar något självklart när jag förenklar (n+1).
1. Stoppa in 1 och visa att olikheten gäller.
2. Antag att det existerar ett p ≥ 1 sådant att p uppfyller olikheten.
3. n=p+1 ger (2p+2) välj (p+1) = (2p+2)!/((p+1)!(p+1)!) bryt därefter ut ((2p+2)(2p+1))/((p+1)(p+1))=(2(p+1)(2p+1))/(p+1)^2= (4p+2)/(p+1) och använd att du vet att olikheten gäller för p.
Högerledet blir: 4^(p+1)/√(3p+4) = 4*(4^p)/√(3p+4)
Vill alltså visa att (4p+2)/(p+1)*4^p/√(3p+1) ≤ 4*(4^p)/√(3p+4).
Samma som (2p+1)/((p+1)/√(3p+1))≤2/√(3p+4) (dividera bort några positiva uttryck från båda sidor)
Samma som (2p+1)*√(3p+4)≤2(p+1)*√(3p+1)
Kvadrering av båda led (ok då de är postiva) ger att visa:
(2p+1)^2*(3p+4)≤4(p+1)^2*(3p+1) vilket borde vara rutinräkning att visa att det gäller omm p≥0.
4. Vi använder induktionsaxiomet och drar slutsatsen att påståendet gäller för alla n som det hävdade ovan.