Buenas, yo en unos apuntes que tenia decía que para usar inducción fuerte se probaban los casos bases necesarios, luego se asumía que la condición se cumplía para todo k que cumpla que n0<=k<=n y luego a partir de esa hipótesis se intentaba probar para n+1.
Pero buscando encontré alguna otra forma de formularlo y no estaba seguro si la forma en que lo planteo yo estaba correcta y me gustaría confirmarlo.
Hola Pablo. En realidad hay un detalle, no menor.
Supongamos que probás 
casos bases a partir de 
, o sea, chequeas que tu propiedad vale para los valores de 
.
El paso inductivo sería: asumiendo que la propiedad vale para todo 
tal que 
donde 
es un entero fijo, entonces debes probar que la propiedad también vale para 
(la condición "" también es parte de la hipótesis inductiva)
Saludos,
Claudio.
Ahh bien, me faltaba n≥n0+h−1, muchas gracias