Computable randomness and monotonicity

Alex Galicki

We show that $z\in {\mathbb{R}}^n$ is computably random if and only if every computable monotone function on ${\mathbb{R}}^n$ is differentiable at $z$.