I can't evaluate it .
I expect you to evaluate it .
it's a database of number sequences
if you still haven't found it then keep working with the terms. it's just a trig/algebra problem. the proof would be by induction and fairly straightforward. for future reference /sci/ isn't a homeowkr help sight and there are much better forums out there for this kind of thing.