P-adic logarithm