Selfridge's Conjecture

There exist infinitely many $n>0$ with ${p_n}^2>p_{n-i}p_{n+i}$ for all $i<n$. Also, there exist infinitely many $n>0$ such that $2p_n<p_{n-i}+p_{n+i}$ for all $i<n$.