Upper bound alg, thm, lower bound thm
do not sync, need roll back
Revert "do not sync, need roll back"

This reverts commit ab6d8fa971f9afb5e7eb0cb94e0592e3575b2710.