Working within Bishop-style constructive mathematics, we examine some of the consequences of the antiSpecker property, known to be equivalent to a version of Brouwer's fan theorem. The work is a contribution to constructive reverse mathematics.In this paper we continue the discussion [4,8], within Bishop's constructive mathematics (BISH) 1) , of generalisations of the anti-Specker property for [0, 1] (relative to R) -that is, If (z n ) n 1 is a sequence in R that is eventually bounded away from each point of [0, 1] , then (z n ) n 1 is eventually bounded away from the entire interval [0, 1]. 2) Specifically, we are interested in -the connection between generalised anti-Specker properties and the positivity of the infimum of a positivevalued function on a compact -that is, complete, totally bounded -metric space, and -the question whether every space with a generalised anti-Specker property is totally bounded. This work lies within the programme of constructive reverse mathematics, in which, on the one hand, we examine the constructive equivalence of classical statements (see, for example, [11,17]), and on the other, we seek, for example, to classify theorems according to the version of the fan theorem to which they are equivalent [14,15,16,26]. It is known that, within BISH, the anti-Specker property for the interval [0, 1] is equivalent to Brouwer's fan theorem FT c for 'c-bars'. 3) Although FT c is not adopted as a principle of BISH, since it holds in the intuitionistic model of BISH it (and therefore the anti-Specker property for compact metric spaces) can be regarded as more-or-less constructive, at least provided you are prepared to dispense with a recursive interpretation of your constructive mathematics. 1) This is simply mathematics carried out with intuitionistic logic and within some suitable set-theoretic framework such as that found in [1]. We shall also allow the use of countable and dependent choice.2) The anti-Specker property is in direct opposition to Specker's theorem, a fundamental result in recursive analysis [25]. For more about the anti-Specker property, see [7,8].3) There are currently four versions of Brouwer's fan theorem that have been investigated in the scope of constructive reverse mathematics. All of them enable one to conclude that a given bar is uniform; the difference between them lies in the required complexity of the bar. This ranges from the very strongest requirement -decidable -to no restriction on the bar at all. Between these two extremes lie fan theorems for bars that are c-sets and Π 0 1 -sets, respectively. These two fan theorems, FTc and FT Π 0 1 , are of particular interest, since one can show that the proof-theoretic strength of the uniform continuity theorem for continuous functions on compact metric spaces lies between them; but whether that theorem is actually equivalent to either FTc or FT Π 0 1 remains an open question. Many other analytical theorems have, however, been shown to be equivalent to versions of the fan theorem. As it is more convenient in constructiv...