Similar Items: Verified Approximation Algorithms