Added the bounded variant of the algorithm.
Tried some claims