伯特兰-切比雪夫定理的素数间隔的区间上界是 $[n,2n]$ ,题解区给出的都是 $[n,\dfrac{3}{2}n]$ ,怎么证明出来的？难道真的是区间 $n<1000$ 打表猜出来的？