Eric Rowland bewijst in het artikel A Natural Prime-Generating Recurrence dat in deze reeks alleen enen en priemgetallen voorkomen. Dit artikel is deze maand gepubliceerd in Journal of Integer Sequences. In het stuk van Shallit kun je meer lezen over de ontdekking van deze formule.
Er zijn trouwens nog een paar interessante open vragen bij de nieuwe formule. Werkt het bijvoorbeeld ook voor andere beginwaarden dan a(1) = 7? Voor a(1) = 532 (om maar wat te noemen) krijg je bijvoorbeeld vrij snel een 9. Rowland vermoedt echter dat voor elke begingetal er na een eindig aantal stappen alleen nog enen en priemgetallen komen. Nog interessanter is volgens mij de vraag of ook alle oneven priemgetallen voorkomen in zo'n reeks. Rowland vermoedt van wel...