>>12546876Ok, so here is what I did:
Define the sequence
Obviously we have:
and so on.
We can show that:
(sum of a geometric series)
We then define since we are interested in
Then we have that so we know it grows proportionally to
We then divide with it and take the limit:
This means that for large
Since the we are interested is even and kinda big so a large number of its first digits are (note that this wouldn't work if we had an odd number, pretty cool!)
To determine whether the thousand digit after the decimal is 3 or not we just need to check weather
We have
Now since (can be proven with many ways for example Taylor series or just tangent at the point x=0 and the function has a negative second derivative)
We have
Also we need to show that the thing whithin the absolute value is positive, which is easy since for
So 3