Lower estimates for linear forms of \(G\)-function values (Q1382565)

The author establishes a lower estimate with integer coefficients from an imaginary quadratic field of \(G\)-function values. This estimate implies, in particular, that for any positive integer \(q > e^{131}\), \[ 1,\;\ln(1 - \tfrac 1q),\;\ln(1 + \tfrac 1q),\;\ln(1 - \tfrac 1q)\ln(1 + \tfrac 1q) \] are linearly independent over the field of rational numbers. The method of proving the basic result is close to the method applied by \textit{D. V. Chudnovsky} and \textit{G. V. Chudnovsky} [Lect. Notes Math. 1135, 9-51 (1985; Zbl 0561.10016)].