Demuestra el TVI usando la completitud de R (sup del conjunto donde f < k )