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