任意の自然数aに対し　a＜p＜2a　を満たす素数が存在する。
したがって、特に　p_n　に対し、p_(n+1)＜2p_n　故
a_n=2p_n-p_(n+1)　＞　0　である。