Added proof of optimality in AutoAlgoFunctData