Exact Recovery of Hard Thresholding Pursuit
A Tight Bound of Hard Thresholding