primes, inequalities, AGM-inequality