Expand the finite Euler product into geometric series. By unique prime factorization, it is the sum of over positive integers whose prime factors do not exceed , and hence contains every term up to . The harmonic sum satisfiesThe last inequality uses , including when is an integer. For each prime number ,The telescoping series over all integers bounds the sum of these remainders by . Taking logarithms of the product bound therefore givesThis explicit constant suffices; no asymptotic theorem about the distribution of prime numbers is needed.
Articles by others on the same topic
There are currently no matching articles.