EDB — 0WB

[0WB] Let \(f,f_ n∈ X \) be as before in [0W9]↺↻, show that \(f_ n→_ n f\) according to this metric if and only if for every \(k\) we have \(f_ n(k)→_ n f(k)\).