[math-fun] nonobviously integer sequence

[Marc LeBrun]

[CCing seqfan]

 > R. William Gosper
 > [...]

Wow!  These are like Michael Somos's unreasonably-integral sequences on 
steroids.

 > Does OEIS list sequences not proven integral?

The OEIS contains quite a few sequences that depend on open 
questions.  And, fortunately, being online it is easily revised.  Just 
provide a comment like "Not proven to be integral for all N".  This can 
later be updated when it is proven, or else the definition can be be fudged 
to something like "numerator of...".