{ [0,n] where n is Nat : verum } is infinite