expectation bound for proximal gradient