|
|
A086316
|
|
Decimal expansion of estimate of the strongly triple-free set constant.
|
|
2
|
|
|
6, 1, 3, 4, 7, 5, 2, 6, 9, 2, 0, 2, 2, 3, 4, 4, 1, 6, 0, 1, 8, 0, 4, 1, 6, 6, 3, 8
(list;
constant;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,1
|
|
LINKS
|
|
|
EXAMPLE
|
0.613475269...
0.6134752692022344160180416638... - Steven Finch, Feb 25 2009
|
|
MATHEMATICA
|
f[k_, n_]:=1+Floor[FullSimplify[Log[n/3^k]/Log[2]]]; g[n_]:=Floor[FullSimplify[Log[n]/Log[3]]]; peven[n_]:=Sum[Quotient[f[k, n]+Mod[k+1, 2], 2], {k, 0, g[n]}]; podd[n_]:=Sum[Quotient[f[k, n]+Mod[k, 2], 2], {k, 0, g[n]}]; p[n_]:=Max[peven[n], podd[n]]; v[1]=1; j=1; k=1; n=4001; For[k=2, k=n, k++, If[2*v[k-j]<3^j, v[k]=2*v[k-j], {v[k]=3^j, j++}]]; Sum[p[v[n]]*(1/v[n]-1/v[n+1]), {n, 1, 4000}]/3 (* Steven Finch, Feb 25 2009 *)
|
|
CROSSREFS
|
|
|
KEYWORD
|
|
|
AUTHOR
|
|
|
EXTENSIONS
|
|
|
STATUS
|
approved
|
|
|
|