Provable Riesel numbers (A076337).

[Don Reble]

> A076336:
> %N Provable Sierpinski numbers: n such that for all k >= 1 the numbers 
> n*2^k + 1 are composite.
> 
> which acknowledges that there may exist Sierpinski numbers that
> are unprovable by the standard method of exhibiting a periodic
> sequence of divisors.

    Rather than "provable", say "proven". Or "proven with a periodic
    sequence of divisors", if they're all proven that way.

-- 
Don Reble  djr at nk.ca