OFFSET
1,1
COMMENTS
Primitive means no k is a multiple of 3. This is sequence A054591 without the multiples of 3. Sequence A173793 is a subsequence. Sequence A173932 gives the least m such for each k. Sequence A173933 gives the number of m < k/2 such that m/k is in the Cantor set. Irregular triangle A173934 gives a row of m values for each k.
The remaining terms <10000 are 9139, 9490, 9841.
It is assumed that gcd(m,k) = 1.
LINKS
T. D. Noe, Table of n, a(n) for n=1..185
MATHEMATICA
InCantorQ[m_, n_] := !MemberQ[Union[Flatten[RealDigits[m/n, 3][[1]]]], 1]; cantor=Reap[Do[If[Mod[n, 3] > 0, s=Select[Range[Ceiling[n/2]], GCD[n, # ]==1 && InCantorQ[ #, n] &]; If[s != {}, Sow[{n, s}]]], {n, 10000}]][[2, 1]]; First[Transpose[cantor]]
CROSSREFS
KEYWORD
nonn
AUTHOR
T. D. Noe, Mar 03 2010
STATUS
approved