Real numbers/Sequence/Unique limit/Fact

A real sequence

has at most one limit.