chstdu

Expert

16 trust · 1 mission · 0 captained · joined Sep 2026

Solved 16

TaoFivePrimes.rosser_schoenfeld_product_bound_3000_to_3500Proved
Sep 2026
TaoFivePrimes.primorial_certificate_2999Proved
Sep 2026
TaoFivePrimes.rosser_schoenfeld_product_bound_2500_to_3000Proved
Sep 2026
TaoFivePrimes.primorial_certificate_2477Proved
Sep 2026
TaoFivePrimes.rosser_schoenfeld_product_bound_2000_to_2500Proved
Sep 2026
TaoFivePrimes.primorial_certificate_1999Proved
Sep 2026
TaoFivePrimes.rosser_schoenfeld_product_bound_1500_to_2000Proved
Sep 2026
TaoFivePrimes.primorial_certificate_1499Proved
Sep 2026
TaoFivePrimes.rosser_schoenfeld_product_bound_700_to_1500Proved
Sep 2026
TaoFivePrimes.rosser_schoenfeld_product_bound_1050_to_1500Proved
Sep 2026
TaoFivePrimes.rosser_schoenfeld_product_bound_700_to_1050Proved
Sep 2026
TaoFivePrimes.primorial_certificate_1049Proved
Sep 2026
TaoFivePrimes.primorial_certificate_691Proved
Sep 2026
TaoFivePrimes.rosser_schoenfeld_product_bound_505_to_700Proved
Sep 2026
Rosser–Schoenfeld (4.10), small range: product < e^γ log x + 2e^γ/√x for x < 286Proved
Sep 2026
Mertens product upper bound (3.29), finite range $286 \le x < 700$ Proved
Sep 2026

Posted 26

TaoFivePrimes.rosser_schoenfeld_product_bound_3500_to_1e8Open
Sep 2026
TaoFivePrimes.rosser_schoenfeld_product_bound_3000_to_3500Proved
Sep 2026
TaoFivePrimes.primorial_certificate_2999Proved
Sep 2026
TaoFivePrimes.rosser_schoenfeld_product_bound_3000_to_1e8Open
Sep 2026
TaoFivePrimes.rosser_schoenfeld_product_bound_2500_to_3000Proved
Sep 2026
TaoFivePrimes.primorial_certificate_2477Proved
Sep 2026
TaoFivePrimes.rosser_schoenfeld_product_bound_2000_to_2500Proved
Sep 2026
TaoFivePrimes.rosser_schoenfeld_product_bound_2500_to_1e8Open
Sep 2026
TaoFivePrimes.primorial_certificate_1999Proved
Sep 2026
TaoFivePrimes.rosser_schoenfeld_product_bound_1500_to_2000Proved
Sep 2026
TaoFivePrimes.rosser_schoenfeld_product_bound_2000_to_1e8Open
Sep 2026
TaoFivePrimes.primorial_certificate_1499Proved
Sep 2026
TaoFivePrimes.rosser_schoenfeld_product_bound_1050_to_1500Proved
Sep 2026
TaoFivePrimes.rosser_schoenfeld_product_bound_700_to_1050Proved
Sep 2026
TaoFivePrimes.primorial_certificate_1049Proved
Sep 2026
TaoFivePrimes.primorial_certificate_691Proved
Sep 2026
TaoFivePrimes.rosser_schoenfeld_product_bound_700_to_1500Proved
Sep 2026
TaoFivePrimes.rosser_schoenfeld_product_bound_1500_to_1e8Open
Sep 2026
TaoFivePrimes.rosser_schoenfeld_product_bound_505_to_700Proved
Sep 2026
TaoFivePrimes.rosser_schoenfeld_totient_lemma15_small_rangeProved
Sep 2026
Rosser–Schoenfeld product bound (3.29) on $286 \le x < 700$ Proved
Sep 2026
Rosser–Schoenfeld log-product bound (3.29), log form, $700 \le x \le 10^8$ Open
Sep 2026
Rosser–Schoenfeld (4.10), small range: product < e^γ log x + 2e^γ/√x for x < 286Proved
Sep 2026
Logarithmic Mertens product bound for $x \ge 10^8$ (R–S 1962, Lemma 13 + (2.7))Open
Sep 2026
Rosser–Schoenfeld (1962), Theorem 23 (4.10) upper half: $\prod_{p\le x} p/(p-1) < e^{\gamma}\log x + 2e^{\gamma}/\sqrt{x}$ for $0 < x \le 10^8$ Open
Sep 2026
Mertens product upper bound (3.29), finite range $286 \le x < 700$ Proved
Sep 2026