Dear Seqfans, Just added a new theorem in A246778 showing that all terms a(n)>20 are in the sequence (just as conjectured by Farideh Firoozbakht) - provided that prime gaps near x are less than x^0.75. Any feedback will be greatly appreciated. (If you happen to have a nicer/shorter proof, that would be great!) Alexei