Snabb fråga om Induktionsbevis

Om man har en formel P(n) kan man visa att den är sann genom att visa premisserna P(1) och sedan P(n) -> P(n+1). För att sedan dra slutsatsen att P(n) alltid är sann. (kortfattat)

Men om man säger P(n) där n>4, blir det väl konstigt att visa P(1)?

Börjar man istället med t.ex P(5) eller annat tal större än 4, dvs siffran 1 i P(1) premissen kan vara vilket tal som helst inom given begränsning? Och sedan P(n+1) som vanligt.

Om jag formulerat mig helt konstigt säg till...

Tror jag kom på det. Vid första steget där man kontrollerar P(1) kollar man helt enkelt om funktionen är sann för det lägsta talet n, oftast 1 men kan vara något annat.

Om du ska visa P(n) för n >= 4 så börjar du naturligtvis med P(4) och visar sedan att P(n) => P(n+1) då n >= 4.