plotting theoretical bounds work