[seqfan] Re: A (new) constant related to the Lucas-Lehmer-test. Is this worth an entry in OEIS?
helms at uni-kassel.de
Fri Apr 6 21:33:29 CEST 2012
Am 06.04.2012 16:41 schrieb Maximilian Hasler:
> and a(n) = (2+sqrt(3))^(2^n) would have 0.597 * 2^2^5e7 digits...
Well, I just found, that the eLucLeh-constant is actually
4 | __
eLucLeh = (2+3^0.5)^(1/4) = \| 2 + \|3
and this (except the 4'th root) is then already mentioned in the
"formula"-segment of the A003010-sequence, noting the same logic
as mine and eLucLeh provides simply an additional shift by 2 exponents.
So I think now, even if it should be taken into OEIS, the commenting
should just link to A003010.
More information about the SeqFan