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 A358684 #30 Dec 27 2022 16:54:12 %S A358684 0,0,0,0,0,23,46,73,206,491,999,2030,4080,8151 %N A358684 a(n) is the minimum integer k such that the smallest prime factor of the n-th Fermat number exceeds 2^(2^n - k). %C A358684 2^(2^n - a(n)) < A093179(n). %C A358684 Conjecture: the dyadic valuation of A093179(n) - 1 does not exceed 2^n - a(n). %C A358684 a(14) is probably equal to 16208; a(15) to a(19) are 32738, 65507, 131028, 262121, 524252; a(20) is unknown; a(21) to a(23) are 2097110, 4194189, 8388581; a(24) is unknown. %H A358684 Lorenzo Sauras-Altuzarra, <a href="https://doi.org/10.26493/2590-9770.1473.ec5">Some properties of the factors of Fermat numbers</a>, Art Discrete Appl. Math. (2022). %F A358684 Conjecture: a(n) ~ 2^n as n -> oo. %e A358684 For n=5, the smallest prime factor of F(5) = 2^(2^5) + 1 is 641 and it falls between 2^(2^5 - 23) = 512 < 641 < 1024 = 2^(2^5 - 22) so that a(5) = 23. %Y A358684 Cf. A000215, A093179. %K A358684 nonn,more %O A358684 0,6 %A A358684 _Lorenzo Sauras Altuzarra_, Nov 26 2022