OAI/NumberTheory/PrimeGaps/PrimeGrowth.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Problem344.PrimeGrowth.primeCounting_nth_prime line 9
2. lemma OAI.Problem344.PrimeGrowth.eventually_log_add_one_le_half_log_two_mul line 15
3. lemma OAI.Problem344.PrimeGrowth.eventually_primeCounting_mul_log_lower line 25
4. lemma OAI.Problem344.PrimeGrowth.eventually_nth_prime_ratio_le_log line 35