On positivity and minimality for second-order holonomic sequences by Kenison, G, Klurman, O, Lefaucheux, E, Luca, F, Moree, P, Ouaknine, J, Whiteland, MA, Worrell, J