login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A255541 a(n) = 1+Sum_{k=1..2^n-1} A000010(k). 0
1, 2, 5, 19, 73, 309, 1229, 4959, 19821, 79597, 318453, 1274563, 5097973, 20397515, 81591147, 326371001, 1305482159, 5222040189, 20888133573, 83552798667, 334211074959, 1336845501841, 5347382348679, 21389531880435, 85558125961121, 342232529890275, 1368930120480617, 5475720508827645, 21902882035220391, 87611528574186091, 350446114129452131, 1401784457568941917, 5607137830212707769 (list; graph; refs; listen; history; text; internal format)
OFFSET

0,2

COMMENTS

Number of fractions in Farey series of order 2^n-1.

LINKS

Table of n, a(n) for n=0..32.

D. T. Ashley, J. P. DeVoe, K. Perttunen, C. Pratt, and A. Zhigljavsky, On Best Rational Approximations Using Large Integers

Wikipedia, Farey Sequence

FORMULA

a(n) ~ (2^n-1)^2 / Pi.

a(n) = 2+A015614(2^n-1).

a(n) = A005728 (2^n-1). - Michel Marcus, Feb 27 2015

EXAMPLE

For each n, measure the size of the set of reduced fractions with a denominator less than 2^n:

a(0) = 1 since the set of reduced fractions with denominator less than 2^0 = 1 is {0}.

a(1) = 2 since the set of reduced fractions with denominator less than 2^1 = 2 is {0, 1}.

a(2) = 5 since the set of reduced fractions with denominator less than 2^2 = 4 is {0, 1/3, 1/2, 2/3, 1}.

a(3) = 19 since the set of reduced fractions with denominator less than 2^3 = 8 is {0, 1/7, 1/6, 1/5, 1/4, 2/7, 1/3, 2/5, 3/7, 1/2, 4/7, 3/5, 2/3, 5/7, 3/4, 4/5, 5/6, 6/7, 1}.

MATHEMATICA

k = s = 1; lst = {}; Do[While[k < 2^n, s = s + EulerPhi@ k; k++]; AppendTo[lst, s], {n, 0, 26}]; lst

a[n_] := 1 + (1/2) Sum[ MoebiusMu[k]*Floor[n/k]*Floor[1 + n/k], {k, n}]; Array[a, 27, 0]

CROSSREFS

Cf. A007305, A007306, A000010, A049643, A006842/A006843 (Farey fractions).

Sequence in context: A148437 A106873 A014273 * A150026 A150027 A277969

Adjacent sequences:  A255538 A255539 A255540 * A255542 A255543 A255544

KEYWORD

nonn

AUTHOR

Robert G. Wilson v, Feb 24 2015

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified August 4 15:53 EDT 2021. Contains 346447 sequences. (Running on oeis4.)