Definition:Limit of P-adic Sequence