[seqfan] Formula for A072351?

[Alonso Del Arte]

Given the existence of Binet's formula, I wonder if there is some neat,
simple formula for the smallest Fibonacci number exceeding 10^n.

Al

P.S. Robert Munafo figured out the sequence in green bits in this video:
http://www.youtube.com/watch?v=TRNhnyGSVsA If no one else cares to guess, I
will reveal which one it is by adding a b-file to it tomorrow.