3 ms·

I typed it from memory, so I could be wrong. I thought the 13th axiom was the least upper bound property.