.999…<1.999…/2<1
1未満の最大数という数は自然数論上無い。