login
Natural numbers n that have the property that starting from k = n, the fixed point of the map k -> floor(tan(k)) is strictly positive, and the smallest number encountered during the iteration is also strictly positive.
4

%I #14 Jun 05 2015 03:56:41

%S 1,4,23,26,45,48,67,70,89,92,105,111,114,127,133,136,149,155,158,171,

%T 177,180,183,193,199,202,205,215,221,224,227,243,246,249,265,268,271,

%U 290,293,300,312,315,334,337,344,356,359,378,381,400,403,422,425,444,447,460,466,469,482,488,491,504,510,513

%N Natural numbers n that have the property that starting from k = n, the fixed point of the map k -> floor(tan(k)) is strictly positive, and the smallest number encountered during the iteration is also strictly positive.

%C Natural numbers n for which A258021(n) > 0 and A258201(n) > 0, or in other words, numbers n such that starting from k = n, the repeated application of map k -> floor(tan(k)) reaches 1 (or any other of strictly positive fixed points, whose existence however remains hypothetical) without ever visiting any negative number.

%H Antti Karttunen, <a href="/A258203/b258203.txt">Table of n, a(n) for n = 1..10000</a>

%o (Scheme, with _Antti Karttunen_'s IntSeq-library)

%o (define A258203 (MATCHING-POS 1 1 (lambda (n) (and (> (A258021 n) 0) (> (A258201 n) 0)))))

%Y Complement of A258202 in A258024.

%Y Cf. A258021, A258201.

%K nonn

%O 1,2

%A _Antti Karttunen_ & _Daniel Forgues_, May 26 2015