A fan-theoretic equivalent of the antithesis of Specker's theorem

The antithesis of Specker's theorem states that every sequence eventually hounded away from each point of [0,1] is eventually bounded away from [0,1]. We show constructively (that is, with intuitionistic logic) that this is equivalent to a version of the fan theorem.