Dimostrazione integrali

Plinio78
Ho trovato in rete la dimostrazione della seguente proposizione

"Sia f : [a,b] → R una funzione limitata. Se σ' e σ'' sono suddivisioni di [a,b], e σ è una terza suddivisione più fine di entrambe, allora s(f,σ') ≤ s(f,σ) ≤ S(f,σ) ≤ S(f,σ'')."

al seguente indirizzo: http://people.dm.unipi.it/acquistp/analisi1.pdf

C'è un passaggio della dimostrazione (la trovate a pagina 303) che non mi è chiaro ovvero quando dice che "per definizione di mk si ha: mk ≤ inf [xk−1,x] f..."

Potreste spiegarmelo oppure indicarmi una dimostrazione alternativa?