A language or problem is said to be -approximable if there is some polynomial-time approximation algorithm such that for all .