https://9dok.net/document/qo5ldxn0-let-s-aρ-pseudo-cauchy-sequence-pseudo-limit.html