For example, let $n=20$.
The lower range [$0$,$\frac{n}{2}$] has primes $p$ = $2,3,5,7$.
The upper range [$\frac{n}{2}$,$n$] has primes $p=$ $11,13,17,19$.
For any even number, does there exist at least one prime $p$ in [$\frac{n}{2}$,$n$]?
It seems true but is there a proof?
Thanks!