A strict non-standard inequality .999... < 1