I feel that there is some kind of link to duality in optimization. Like you are trying to bound the intended program from below and from above.