Let , for two real primitive characters . Multiplication of Euler products of these functions gives us
with . Davenport (in p.129 of Mult. Numb. Theory) claims that taking logarithms of Euler products gives
which is fine, but then claims that since the coefficients here are nonnegative, we have for all . Can someone show me the reasoning for this last fact? It doesn't seem obvious to me.