Suppose Tn are compact and ∥Tn−T∥→0. For any ε>0 take n with ∥Tn−T∥<ε. A finite ε-net of Tn of the unit ball is then a finite 2ε-net of its Timage. That image is totally bounded, so T is compact by the stated criterion. Hence K(X) is norm closed in B(X).