Differentiating convex functions constructively

Abstract

In classical analysis, both  convex functions and  increasing functions \([0,1] \to \RR\) are differentiable almost everywhere. We will show that constructively, while we can prove this for convex functions, we cannot do so for increasing ones.