A p-adic lower bound for a linear form in logarithms

Linear forms in logarithms have an important role in the theory of Diophantine equations. In this paper, we prove explicit [Formula: see text]-adic lower bounds for linear forms in [Formula: see text]-adic logarithms of rational numbers using Padé approximations of the second kind.