>>841
ベルトラン=チェビシェフの定理から可能