Vejamos que Inf X=0.
Primeiro vemos que 0 é cota inferior de X, então
Inf X>=0, .........................(1)
pois o Inf X é a maior das cotas inferiores.
Observemos também que Inf X<1, pois inf X é menor ou igual que todos os elementos de X e eles são menores que 1.
Falta provar que Inf X<=0. Para isso vamos usar o método do absurdo, isto é, vamos supor que Inf X>0, ou seja temos
00, portanto devemos ter que
Inf X<=0,..................................(2)
De (1) e (2) concluimos que Inf X=0.