Let K {\displaystyle {}K} denote an ordered field. If a sequence is convergent in K {\displaystyle {}K} ,