Comme f est postive non identiquement nulle alors il existe x0 tel que f(x0)>0. Écrivons la définition de la continuité de f en x0 : pour tout ε>0, il existe η>0 tel que si x∈]x0−η,x0+η[⊂[0,1] alors f(x)∈]f(x0)−ε,f(x0)+ε[. Dans ton cours, c’est probablement écrit : ∣x−x0∣<η⇒∣f(x)−f(x0)∣<ε. On a juste traduit ces inégalités avec des intervalles.
Choisissons ε=2f(x0) et considérons le η=η(ε) correspondant dans la définition.
Alors pour tout x∈]x0−η,x0+η[, f(x)>f(x0)−2f(x0)=2f(x0)>0. Il suffit de choisir un intervalle [a,b]⊂]x0−η,x0+η[ pour répondre à la question.