One of the key properties of the length of a curve is its lower semicontinuity : if a sequence of curves γi converges to a curve γ, then length(γ) ≤ lim inf length(γi). Here the weakest type of pointwise convergence suffices. There are higher-dimensional analogs of this semicontinuity for Riemannian (and even Finsler) metrics. For instance, the Besicovitch inequality (see, e.g., [1] and [4]) im...