Is it true/known/important that $(\log p_n)/n$ is nonincreasing, where $p_n$ is the $n$th odd prime number?

First thing first, I would like to apologize in advance for my poor knowledge of Maths and English. I'm an Italian student and after asking to all the mathematicians and Maths teachers in my town, I hope that the internet might help me regarding the following conjecture.

Conjecture: If $p_{n}$ is the $n$th odd prime, then $$ \frac{\log_{10}p_{n}}{n} \geq \frac{\log_{10}p_{n+1}}{n+1}. $$

To date, I've tested it for the first 64k prime numbers.

My questions are:

-Does it deserve to be shown to other people/tried to prove, or is it just "one among thousands"?

-If it's important, who could I show it to?

-If it isn't important, what makes some conjectures noteworthy?


Solution 1:

Congratulations: you have rediscovered Firoozbakht's conjecture.