cp's OEIS Frontend

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.

A037225 a(n) = phi(2n+1).

Original entry on oeis.org

1, 2, 4, 6, 6, 10, 12, 8, 16, 18, 12, 22, 20, 18, 28, 30, 20, 24, 36, 24, 40, 42, 24, 46, 42, 32, 52, 40, 36, 58, 60, 36, 48, 66, 44, 70, 72, 40, 60, 78, 54, 82, 64, 56, 88, 72, 60, 72, 96, 60, 100, 102, 48, 106, 108, 72, 112, 88, 72, 96, 110, 80, 100, 126, 84, 130
Offset: 0

Views

Author

Keywords

Comments

Bisection of A000010 (cf. A062570).
From Alain Rocchelli, Jun 28 2023: (Start)
If 2*n+1 has r distinct odd prime factors, 2^r divides a(n).
Conjectures:
1) For any composite integer 2*n+1, a(n) doesn't divide 2*n.
2) For all n, a(n) is never equal to n. (End)

Crossrefs

Programs

Formula

Sum_{k=0..n} a(k) ~ c * n^2, where c = 8/Pi^2 = 0.810569... (A217739). - Amiram Eldar, Nov 17 2022
a(n) = 2*n iff 2*n+1 is prime, see A005097. - Alain Rocchelli, Jun 22 2023
From Peter Bala, Feb 01 2024: (Start)
Odd bisection of A000010.
a(n) = 2*A072451(n) for n >= 1.
G.f.: Sum_{n >= 1} phi(2*n+1)*x^(2*n+1) = Sum_{n >= 1} moebius(n)*x^(2*n-1)*(1 + x^(4*n-2))/(1 - x^(4*n-2))^2 = x + 2*x^3 + 4*x^5 + 6*x^7 + 6*x^9 + .... (End)