For example, a "ρ"-approximation algorithm "A" is defined to be an algorithm for which it has been proven that the value/cost, "f"("x"), of the approximate solution "A"("x") to an instance "x" will not be more (or less, depending on the situation) than a factor "ρ" times the value, OPT, of an optimum solution.