La demostración para ver que el ínfimo del conjunto "[a,b]" por f se asume dentro del conjunto y por lo tanto es mínimo es análoga a ésta.∎ c.q.d (Rigor)