Así es. SImplemente agregaria que esas desigualdades que ponés son válidas para todo 
. A veces por brevedad en la escritura abusamos de notación y omitimos cuantificar las afirmaciones (sobreentendiendo que valen "para todo 
natural"). En este caso me parece que vale la pena cuantificar explícitamente ya que la desigualdad no es cierta para todos los naturales (por ejemplo no lo es para 
), pero sí lo es a partir de un cierto valor fijo, que es lo que necesitamos.