Algorithms in Order Restricted Statistical Inference and the Cauchy Mean Value Property