Where to publish proofs for, for example, the OEIS

Question

TL; DR; Where can I publish proofs that are not groundbreaking nor profound?

I recently found an integer sequence in the OEIS. Okay, the OEIS only contains integer sequences, so nothing new so far. However, the entry for this sequence mentioned an upper bound that I thought could be improved upon. The entry also mentioned a couple of properties for which I could find no proof in the referenced articles/literature.

The proofs for all of these properties, including the upper bound, are not trivial, but also not very difficult, I'd say first year undergrad.

I would like to expand the entry with the improved upper bound, but since I do not trust myself to be mistake-free and I do not expect others to trust me, I think the entry should contain references to proofs for every fact that it mentions, since it is very important these properties are correct.

My question is therefore: where can I publish/put/leave such proofs, in such a way that people who use the OEIS can read them as well (in order to verify it for themselves)? It is by no means groundbreaking work, nor very important, so I don't think any journal (or person reading a journal) would be interested in it, but as scientists and mathematicians, it is always important to give proofs for the claims we do. The only place that I could think of for such a publication is arXiv.org, but I am not sure whether that would be appopriate or not.

Answer 1

Perhaps you are underestimating your contribution. If so, you could consider the electronic Journal of Integer Sequences: https://cs.uwaterloo.ca/journals/JIS/

Posting to arXiv and linking to that post from OEIS is a reasonable strategy, although it will not get you the proof check you want.

Answer 2

You have a few options. You could submit a file to be associated with the sequence. You could create a OEIS Wiki page for your proof. You could ask a question here about the validity of your proof. There are other options with varying levels of practicality for placing your proof on the WWW, for example, if you have your own website. You can use a combination of these options over time. Also be aware of the Wayback Machine of archive.org which keeps the contents of websites even after they cease to exist.