P-adic logarithm function