Finishing SMax bound computation