- #1

- 1,030

- 4

*not*monotone for any n, but I can't give a proof of it without assuming something at least as strong as the twin prime conjecture. I was wondering if anyone has some advice to prove this using known methods?

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

In summary, the sequence a_n is monotone decreasing for all natural numbers N, but the tail of the sequence a_n is not monotone. The alternating series test shows that \sum_n(-1)^n\frac{n}{p_n} converges.

- #1

- 1,030

- 4

Physics news on Phys.org

- #2

Science Advisor

- 8,140

- 572

is not monotone for any n

Statement is confusing - what is variable (not n from what you said)?

- #3

- 1,030

- 4

The variable is n. I mean no tail of the sequence is monotone.

- #4

- 1,030

- 4

Any ideas at all? I'm drawing dead here.

- #5

Science Advisor

Homework Helper

- 2,844

- 0

Dragonfall said:Any ideas at all? I'm drawing dead here.

I'm still not sure what you mean, exactly.

- #6

- 1,030

- 4

The tail of a sequence [tex]a_n[/tex] is the subsequence [tex](a_n)_{n>N}[/tex] for some N. A sequence may not be monotone for the first N numbers, but the tail of the sequence might be monotone. If [tex]\frac{n}{p_n}[/tex] is eventually monotone, then the alternating series test shows that [tex]\sum_n(-1)^n\frac{n}{p_n}[/tex] converges. I believe that the series converges, but I don't think the sequence is eventually monotone, mainly because I think the twin prime conjecture is true.

Last edited:

- #7

Homework Helper

- 3,351

- 7

- #8

- 1,030

- 4

2, 3, 5, 3, 5, 6, 7, 6, 4, 2, 1/11, 1/12, 1/13, 1/14, 1/15, 1/16, 1/17, 1/18, ...

This sequence is monotone decreasing from the 11th entry onwards.

- #9

- 375

- 0

Have you tryed to link it with http://mathworld.wolfram.com/PrimeNumberTheorem.html" [Broken]?

Last edited by a moderator:

- #10

- 1,030

- 4

All I can conclude from PNT is that [tex]\lim\frac{n}{p_n}=0[/tex].

- #11

- 375

- 0

I think it's darn difficult to prove that!

Need to know of distribution of primes for every finite segment [n,n+k] of natural numbers.Looks intractible at first glance.Sorry.

- #12

- 457

- 1

Dragonfall said:If [tex]\frac{n}{p_n}[/tex] is eventually monotone, then the alternating series test shows that [tex]\sum_n(-1)^n\frac{n}{p_n}[/tex] converges.

No, it doesn't.

- #13

- 366

- 1

DeadWolfe said:No, it doesn't.

Why not? [itex]\lim_{n\to \infty}\frac{n}{p_n}=0[/itex] by the PNT, so wouldn't eventual monotonicity be sufficient for convergence?

Anyway, let's just see what we have.

No tail is monotone if for all natural numbers N, there is an n>N such that

[tex]\frac{n}{p_n} < \frac{n+1}{p_{n+1}}[/tex].

This is equivalent to

[tex]np_{n+1}<np_n+p_n[/tex]

[tex]p_{n+1}-p_n<\frac{p_n}{n}[/tex]

You don't need the twin primes conjecture here. It suffices to have this lemma:

Even this is stronger than you need, but much, much weaker than the twin primes conjecture.

Last edited:

- #14

- 457

- 1

Man do I feel stupid.

- #15

- 1,030

- 4

Moo Of Doom said:This is equivalent to

[tex]np_{n+1}<np_n+p_n[/tex]

[tex]p_{n+1}-p_n<\frac{p_n}{n}[/tex]

You don't need the twin primes conjecture here. It suffices to have this lemma:

There exists a natural number k such that there are infinitely many consecutive primes whose difference is less than k.

Thanks, and you're right, something like "there exists infinitely many n such that [tex]p_{n+1}-p_n<\log n[/tex]" is approximately what I need.

- #16

- 366

- 1

Anyway, I did some looking, and I found this paper, which states that if the Elliot-Halberstam Conjecture is true, then there are infinitely many consecutive primes differing by less than 16.

I can't seem to find any similar results that don't depend on unproven conjectures, so proof might not be easy.

A proven result that might be useful is that [itex]{\lim \inf}_{n \to \infty} \frac{p_{n+1}-p_n}{\log{p_n}}=0[/itex] (found in the same paper).

- #17

- 1,030

- 4

- #18

- 366

- 1

- #19

- 1,030

- 4

I'll try and figure it out myself. If I get stuck maybe I'll crack and ask for your proof.

- #20

- 366

- 1

If you do manage to prove it, I'd love to see your proof. Please do post it.

- #21

- 1,030

- 4

- #22

- 998

- 0

From Wikipedia:

From Mathworld you'll also find a reference showing that

[tex] 0.922 \frac{n}{\ln n} < \pi(n) < 1.105 \frac{n}{\ln n}.[/tex]

That looks like enough to me. Edit: Woops! Looks like I'm a little late. I hate posting in older threads by accident!

In 1940, Paul Erdős showed that there is a constant c < 1 and infinitely many primes p such that (p′ - p) < (c ln p) where p′ denotes the next prime after p. This result was successively improved; in 1986 Helmut Maier showed that a constant c < 0.25 can be used. In 2004 Daniel Goldston and Cem Yıldırım showed that the constant could be improved further to c = 0.085786… In 2005, Goldston, János Pintz and Yıldırım established that c can be chosen arbitrarily small [1], [2]:

From Mathworld you'll also find a reference showing that

[tex] 0.922 \frac{n}{\ln n} < \pi(n) < 1.105 \frac{n}{\ln n}.[/tex]

That looks like enough to me. Edit: Woops! Looks like I'm a little late. I hate posting in older threads by accident!

Last edited:

- #23

- 366

- 1

My proof is as follows:

We want to show, that for any [itex]m[/itex] no matter how large, there is an [itex]n>m[/itex] such that

[tex]\frac{n}{p_n}<\frac{n+1}{p_{n+1}}[/tex]

We can rearrange this:

[tex]np_{n+1}<p_n(n+1)[/tex]

[tex]np_{n+1}-np_n<p_n[/tex]

[tex]p_{n+1}-p_n<\frac{p_n}{n}[/tex]

[tex]\frac{p_{n+1}-p_n}{\log{p_n}}<\frac{p_n}{n\log{p_n}}[/tex]

Thus our theorem is established if we can show that [itex]\frac{p_{n+1}-p_n}{\log{p_n}}[/itex] can be made smaller than [itex]\frac{p_n}{n\log{p_n}}[/itex] for [itex]n[/itex] arbitrarily large.

It is an established result by Daniel Goldston and Cem Yıldırım that

[tex]{\lim \inf}_{n \to \infty} \frac{p_{n+1}-p_n}{\log{p_n}}=0[/tex]

Therefore, for any [itex]\epsilon>0[/itex], we can find an arbitrarily large [itex]n[/itex] such that

[tex]\frac{p_{n+1}-p_n}{\log{p_n}}<\epsilon[/tex]

The prime number theorem states that

[tex]\pi(n) \sim \frac{n}{\log{n}}[/tex]

which is useful here:

[tex]n = \pi(p_n) \sim \frac{p_n}{\log{p_n}}[/tex]

This means concretely that

[tex]\lim_{n \to \infty} \frac{p_n}{n\log{p_n}} = 1[/tex]

Therefore we can find an [itex]N[/itex] such that for all [itex]n \geq N[/itex],

[tex]\frac{p_n}{n\log{p_n}} > \frac{1}{2}[/tex]

But by Goldston and Yıldırım, we can find an [itex]n[/itex] as large as we like such that

[tex]\frac{p_{n+1}-p_n}{\log{p_n}}<\frac{1}{2}[/tex]

and thus we have established our theorem!

---Q-E-D---

If you have any questions about it, please post them. :)

We want to show, that for any [itex]m[/itex] no matter how large, there is an [itex]n>m[/itex] such that

[tex]\frac{n}{p_n}<\frac{n+1}{p_{n+1}}[/tex]

We can rearrange this:

[tex]np_{n+1}<p_n(n+1)[/tex]

[tex]np_{n+1}-np_n<p_n[/tex]

[tex]p_{n+1}-p_n<\frac{p_n}{n}[/tex]

[tex]\frac{p_{n+1}-p_n}{\log{p_n}}<\frac{p_n}{n\log{p_n}}[/tex]

Thus our theorem is established if we can show that [itex]\frac{p_{n+1}-p_n}{\log{p_n}}[/itex] can be made smaller than [itex]\frac{p_n}{n\log{p_n}}[/itex] for [itex]n[/itex] arbitrarily large.

It is an established result by Daniel Goldston and Cem Yıldırım that

[tex]{\lim \inf}_{n \to \infty} \frac{p_{n+1}-p_n}{\log{p_n}}=0[/tex]

Therefore, for any [itex]\epsilon>0[/itex], we can find an arbitrarily large [itex]n[/itex] such that

[tex]\frac{p_{n+1}-p_n}{\log{p_n}}<\epsilon[/tex]

The prime number theorem states that

[tex]\pi(n) \sim \frac{n}{\log{n}}[/tex]

which is useful here:

[tex]n = \pi(p_n) \sim \frac{p_n}{\log{p_n}}[/tex]

This means concretely that

[tex]\lim_{n \to \infty} \frac{p_n}{n\log{p_n}} = 1[/tex]

Therefore we can find an [itex]N[/itex] such that for all [itex]n \geq N[/itex],

[tex]\frac{p_n}{n\log{p_n}} > \frac{1}{2}[/tex]

But by Goldston and Yıldırım, we can find an [itex]n[/itex] as large as we like such that

[tex]\frac{p_{n+1}-p_n}{\log{p_n}}<\frac{1}{2}[/tex]

and thus we have established our theorem!

---Q-E-D---

If you have any questions about it, please post them. :)

Last edited:

- #24

- 998

- 0

An alternate argument using what I posted (when you add the mathworld result, I'm using on the one hand stronger and on the other hand weaker results than Moo did in his proof. They're almost identical. I'd say his is cleaner, though):

We have (from the mathworld ref.), for all natural n,

[tex]0.5 \frac{p_n}{\ln p_n} < \pi(p_n) = n < 2\frac{p_n}{\ln p_n},[/tex]

so in particular

[tex]\frac{p_n}{n} > \frac{\ln p_n}{2}[/tex].

Let N be some natural. By my Wikipedia ref., there is [itex]c<1/2[/itex] and [itex]n>N[/itex] s.t.

[tex]p_{n+1} - p_n < c\ln p_n < \frac{\ln p_n}{2} < \frac{p_n}{n},[/tex]

as required.

We have (from the mathworld ref.), for all natural n,

[tex]0.5 \frac{p_n}{\ln p_n} < \pi(p_n) = n < 2\frac{p_n}{\ln p_n},[/tex]

so in particular

[tex]\frac{p_n}{n} > \frac{\ln p_n}{2}[/tex].

Let N be some natural. By my Wikipedia ref., there is [itex]c<1/2[/itex] and [itex]n>N[/itex] s.t.

[tex]p_{n+1} - p_n < c\ln p_n < \frac{\ln p_n}{2} < \frac{p_n}{n},[/tex]

as required.

Last edited:

- #25

- 1,030

- 4

Fascinating. Thanks to you both!

The sequence of ratios of primes and integers is a mathematical sequence that represents the division of prime numbers by integers. It can be written as P(n)/n, where P(n) is the nth prime number and n is any integer.

This sequence is significant because it reveals patterns and relationships between prime numbers and integers. It can also be used to study the distribution of prime numbers and their properties.

This sequence is related to various mathematical concepts such as number theory, prime factorization, and the Riemann zeta function. It also has applications in cryptography and coding theory.

While there is no definitive way to predict this sequence, there have been various conjectures and theories proposed by mathematicians. However, the distribution of prime numbers is still a topic of ongoing research in mathematics.

Yes, the sequence of ratios of primes and integers has applications in various fields such as cryptography, coding theory, and data compression. It also has implications in the study of prime numbers and their properties, which have practical applications in fields such as cybersecurity and data encryption.

Share:

- Replies
- 25

- Views
- 1K

- Replies
- 33

- Views
- 3K

- Replies
- 2

- Views
- 1K

- Replies
- 5

- Views
- 1K

- Replies
- 14

- Views
- 307

- Replies
- 18

- Views
- 1K

- Replies
- 2

- Views
- 1K

- Replies
- 6

- Views
- 2K

- Replies
- 1

- Views
- 896

- Replies
- 14

- Views
- 230