proposed
approved
Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).
proposed
approved
editing
proposed
Natural numbers n for which that have the property that starting from them, k = n, the fixed point of the map x k -> floor(tan(xk)) is strictly positive, while the smallest number encountered during the iteration is strictly negative.
proposed
editing
editing
proposed
Antti Karttunen, <a href="/A258202/b258202.txt">Table of n, a(n) for n = 1..10000</a>
Probably a subsequence Subsequence of A258024.
Natural numbers n for which have the property that starting from them, the fixed point of the map x -> floor(tan(x)) reaches nonzero number as the eventual fixed point, and is strictly positive, while the smallest number encountered during the iteration is strictly negative.
Natural numbers n for which have the property that starting from them, the map x -> floor(tan(x)) reaches 1 (instead of 0) nonzero number as the eventual fixed point, and the smallest number encountered during the iteration is negative.
Subsequence Probably a subsequence of A258024.
allocated Natural numbers n for Antti Karttunenwhich have the property that starting from them, the map x -> floor(tan(x)) reaches 1 (instead of 0) as the eventual fixed point, and the smallest number encountered during the iteration is negative.
121, 143, 476, 498, 831, 853, 1076, 1186, 1208, 1541, 1563, 1786, 1896, 1918, 2251, 2273, 2606, 2628, 2961, 2983, 3316, 3338, 3561, 3671, 3693, 4026, 4048, 4381, 4403, 4736, 4758, 5091, 5113, 5336, 5446, 5468, 5801, 5823, 6156, 6178, 6511, 6533, 6866, 6888, 7221, 7243, 7576, 7598, 7821, 7931, 7953, 8286, 8308, 8641, 8663, 8996, 9018
1,1
(Scheme, with Antti Karttunen's IntSeq-library)
(define A258202 (MATCHING-POS 1 1 (lambda (n) (and (not (zero? (A258021 n))) (< (A258201 n) 0)))))
allocated
nonn
Antti Karttunen, May 26 2015
approved
editing
allocated for Antti Karttunen
allocated
approved