Largest prime power divisor: Difference between revisions

From Number
(Created page with '{{arithmetic function}} ==Definition== Let <math>n</math> be a natural number. The '''largest prime power divisor''' of <math>n</math>, sometimes denoted <math>q(n)</math> and ...')
 
No edit summary
Line 8: Line 8:


{{oeis|A034699}}
{{oeis|A034699}}
===Upper bound===
The value of <math>\frac{q(n)}{n}</math> is largest when <math>n</math> itself is a prime power, namely, it is <math>1</math> for these values of <math>1</math>. Since there are [[infinitude of primes|infinitely many primes]], we have:
<math>\lim \sup \frac{q(n)}{n} = 1</math>.


===Lower bound===
===Lower bound===
Line 13: Line 19:
{{further|[[Largest prime power divisor has logarithmic lower bound]]}}
{{further|[[Largest prime power divisor has logarithmic lower bound]]}}


The largest prime power divisor of <math>n</math> is greater than <math>\log n</math>. Thus, we have:
The largest prime power divisor of <math>n</math> is <math>\Omega(\log n)</math>. In fact, we have:
 
<math>\lim \inf \frac{q(n)}{\log n}</math> is finite and greater than zero.
 
Thus, we have:


<math>\lim_{n \to \infty} q(n) = \infty</math>.
<math>\lim_{n \to \infty} q(n) = \infty</math>.

Revision as of 00:00, 29 April 2009

This article defines an arithmetic function or number-theoretic function: a function from the natural numbers to a ring (usually, the ring of integers, rational numbers, real numbers, or complex numbers).
View a complete list of arithmetic functions

Definition

Let be a natural number. The largest prime power divisor of , sometimes denoted and sometimes denoted , is defined as the largest prime power that divides .

Behavior

The ID of the sequence in the Online Encyclopedia of Integer Sequences is A034699

Upper bound

The value of is largest when itself is a prime power, namely, it is for these values of . Since there are infinitely many primes, we have:

.

Lower bound

Further information: Largest prime power divisor has logarithmic lower bound

The largest prime power divisor of is . In fact, we have:

is finite and greater than zero.

Thus, we have:

.

Asymptotic fraction

Further information: Fractional distribution of largest prime power divisor

The value of is almost uniformly distributed in the interval .