[seqfan] A012022, A065140 and sqrt(2)

[Jaume Oliver i Lafont]

Hello all,

It appears that lim{k->oo} abs(A012022(k))/A065140(k) = sqrt(2)

Is this easy to prove?

http://www.research.att.com/~njas/sequences/?q=id:A065140|id:A012022

Jaume