fixed theorem for approximation, easier to correctly prove the looser bound of k/4 instead of k/3