OFFSET
1,2
COMMENTS
The formula can be proved by using Stirling's formula to estimate the central binomial coefficient binomial(2i,i).
FORMULA
a(n) = (log n)/(log 4) + (log log n)/(log 16) + O(1).
MATHEMATICA
Array[Block[{i = 1}, While[Binomial[2 i, i] <= #, i++]; i] &, 105] (* Michael De Vlieger, Oct 22 2018 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
David Lewis, Oct 22 2018
STATUS
approved