In this post (the content of this post is now cross-posted from Mathematics Stack Exchange see below) we denote the radical of an integer $n>1$ as the product of disctinct primes dividing it $$\operatorname{rad}(n)=\prod_{\substack{p\mid n\\p\text{ prime}}}p,$$ with the definition $\operatorname{rad}(1)=1$. The abc conjecture is an important problem in mathematics as one can to see from the Wikipedia *abc conjecture*. In this post I mean the formulation **ABC conjecture II** stated in previous link.

I was inspired in the theory of generalized mean or Hölder mean (see [1]) to state the following claim (*Mathematics Stack Exchange 3648776* with title *A weak form of the abc conjecture involving the definition of Hölder mean* asked Apr 28 '20).

**Claim.** *On assumption of the abc conjecture* $\forall \varepsilon>0$ *there exists a constant* $\mu(\epsilon)>0$ *such that for triples of positive integers* $a,b,c\geq 1$ *satisfying* $\gcd(a,b)=\gcd(a,c)=\gcd(b,c)=1$ *and* $a+b=c$ *ones has for real numbers* $q>0$ *that the following inequality holds*
$$c<\mu(\varepsilon)\left(\frac{\operatorname{rad}(a)^q+\operatorname{rad}(b)^q+\operatorname{rad}(c)^q}{3}\right)^{3(1+\varepsilon)/q}.\tag{1}$$

**Remark 1.** Thus as $q\to 0$ from the theory of Hölder mean we recover the abc conjecture.

In a similar way I was inspired in the definition of the logarithmic mean and its relationship to the arithmetic mean to pose the following conjecture (*Mathematics Stack Exchange 3580506* with title *Weaker than abc conjecture invoking the inequality between the arithmetic and logarithmic means* asked Mar 14 '20).

**Conjecture.** *For every real number* $\varepsilon>0$, *there exists a positive constant* $\mu(\varepsilon)$ *such that for all pairs* $(a,b)$ *of coprime positive integers* $1\leq a<b$ *the following inequality holds* $$2\,\frac{b-a}{\log\left(\frac{b}{a}\right)}\leq \mu(\varepsilon)\operatorname{rad}(ab(a+b))^{1+\varepsilon}.\tag{2}$$

**Remark 2.** Thus I think that previous conjecture is weaker than the abc conjecture by virtue of the relation between the artihmetic and logarithmic means.

Question.I wondered what work can be done to prove/discuss unconditionally (I mean on assumption of the cited requirements/conditions, but without invoking any formulations of the abc conjecture) the veracity of previousClaimfor the smallest $q>0$ close to* $0$ that you are able to prove. Similarly**, is it possible to proveConjecture?Many thanks.

*I'm curious to know what is the smallest $q>0$ close to $0$ such that the inequality in **Claim** is true, I think that the right discussion is for $q>0$ but if you want to discuss $|q|$ very close to $0$ because you think that it makes sense, feel free to study our inequality for real numbers $|q|$ very close to $0$.

$^{**}$On the other hand I think that should be possible to prove the **Conjecture**, since I think that this statement is much weaker than the abc conjecture.

I was inspired in the Wikipedia articles for *Generalized mean* and *Logarithmic mean*. I add references to bilbiography. I know the statement of formulation ABC conjecture II for example from [3].

## References:

[1] P. S. Bullen, *Handbook of Means and Their Inequalities*, Dordrecht, Netherlands: Kluwer (2003).

[2] B. C. Carlson, *Some inequalities for hypergeometric functions*, Proc. Amer. Math. Soc., 17: in page 36 (1966).

[3] Andrew Granville and Thomas J. Tucker, *It’s As Easy As abc*, Notices of the AMS, Volume 49, Number 10 (November 2002).

Questionhave a good mathematical content. I bring here this post asking to know if the Question is interesting in the context of the abc conjecture. I've asked in this site MathOverflowOn variants of the abc conjecture in terms of Lehmer means, with identificator350998(asked on Jan 23 '20). If from your experience and knowledges you can explain if this kind of inequalities can be potentially interesting, please feel free to add your comments or explain it in your answer for theQuestionin this post. It is appreciate. $\endgroup$ – user142929 May 8 at 10:21Stolarsky mean, is a particular case of the Stolarsky mean, I say it if can be inspiring for some user. If I understand well Lehmer was a number theorist and Stolarsky studies in particular diophantine approximation. Hölder provided us, in particular, his important inequality as refers the WikipediaHölder's inequality(I refer these facts for all users, since I like to study certain mathematical details when I try to evoke certain relationships). $\endgroup$ – user142929 May 8 at 12:53