A rigorous lower bound for the optimal value of convex optimization problems Jansson, Christian 2004 - TUHH Open Research