Displaying similar documents to “The generalization and proof of Bertrand's postulate.”

The EKG sequence.

Lagarias, J.C., Rains, E.M., Sloane, N.J.A. (2002)

Experimental Mathematics

Similarity:

On the unimodal character of the frequency function of the largest prime factor

Jean-Marie De Koninck, Jason Pierre Sweeney (2001)

Colloquium Mathematicae

Similarity:

The main objective of this paper is to analyze the unimodal character of the frequency function of the largest prime factor. To do that, let P(n) stand for the largest prime factor of n. Then define f(x,p): = #{n ≤ x | P(n) = p}. If f(x,p) is considered as a function of p, for 2 ≤ p ≤ x, the primes in the interval [2,x] belong to three intervals I₁(x) = [2,v(x)], I₂(x) = ]v(x),w(x)[ and I₃(x) = [w(x),x], with v(x) < w(x), such that f(x,p) increases for p ∈ I₁(x), reaches its maximum...

On pseudoprimes having special forms and a solution of K. Szymiczek’s problem

Andrzej Rotkiewicz (2005)

Acta Mathematica Universitatis Ostraviensis

Similarity:

We use the properties of p -adic integrals and measures to obtain general congruences for Genocchi numbers and polynomials and tangent coefficients. These congruences are analogues of the usual Kummer congruences for Bernoulli numbers, generalize known congruences for Genocchi numbers, and provide new congruences systems for Genocchi polynomials and tangent coefficients.

On the Properties of the Möbius Function

Magdalena Jastrzebska, Adam Grabowski (2006)

Formalized Mathematics

Similarity:

We formalized some basic properties of the Möbius function which is defined classically as [...] as e.g., its multiplicativity. To enable smooth reasoning about the sum of this number-theoretic function, we introduced an underlying many-sorted set indexed by the set of natural numbers. Its elements are just values of the Möbius function.The second part of the paper is devoted to the notion of the radical of number, i.e. the product of its all prime factors.The formalization (which is...