This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A076547 #10 Apr 08 2025 19:01:01
%S A076547 1,1,453,481832565077,3336994692120829058949545155598207748189,
%T A076547 4183667308477313795108662587270037418426429056133620947343416969739965511482242658521291610836247844507748569589345
%N A076547 a(n) = (2^n-1-numerator(B(2^(n+1))))/2^n where numerator(B(k)) denotes the numerator of the k-th Bernoulli number.
%C A076547 Appears to always be an integer. Next term is too large to include.
%F A076547 a(n) = (2^n-1-A000367(2^n))/2^n
%t A076547 Table[(2^n-1-Numerator[BernoulliB[2^(n+1)]])/2^n,{n,6}] (* _Harvey P. Dale_, Nov 16 2024 *)
%o A076547 (PARI) a(n)=(2^n-1-numerator(bernfrac((2^(n+1)))))/2^n
%Y A076547 Cf. A000367.
%K A076547 nonn
%O A076547 1,3
%A A076547 _Benoit Cloitre_, Oct 19 2002