Operator-Norm Limits of Compact Operators are Compact