关于相继二素数的距离问题

設p_1,p_2,…,p_(n-1),p_n……表示素数序列;dn=p_n—p_(n-1)表示第n—1个及与之相继的第n个素数間的距离。1935年,德国数学家P.Erdos首先証明了存在着正絕对常数C.使对无限个dn有dn>c log p_n((log_2p_nlog_4p_n)/log_3~2p_n)按照P.Erdos所提供的方法R.A.Rankin于1938年証明了c>1/3-ε(ε为任意小的固定正数)A.Schonhage于1962年証明了c>e~γ/2-ε本文則証明了c>e~γ-ε(γ表示Euler常数)即証明了下述定理: 設p_n表第n个素数;dn=p_n-p_(n-1)(n>1)則存在着无限多个素数p_n使dn>(e~γ-ε)logp_n((log_2p_nlog_4p_n)/(log_3~2p_n))其中γ表Euler常数,ε表任意小的固定正数。