在1962年发表的论文《Approximate formulas for some functions of prime numbers》中，罗瑟（J. Barkley Rosser）与肖恩菲尔德（Lowell Schoenfeld）提出了关于素数计数函数 π(n)（表示不超过 n的素数个数）的精确上下界估计是：n大于等于17，π(n)>n/lnn,
据此优化崔坤的孪生素数对个数下界公式：
π₂inf(x)=x/(lnx)²-2，x≥17
则9801～10201之间至少有：
[10201/(ln10201)²-9801/(ln9801)²]=3
即至少有3个孪生素数对

查孪生素数表：（9857，9859）；（9929，9931），（10007，10009），（10037，10039），（10067，10069），（10091，10093），（10139，10141），