Im going to go with common sence on this one and say that 0,9999...<1, proof or no proof.