[math-fun] trivial example of a discontinuous dimension limit