Let \( f(z) = z + e^{-z} \). Prove that, for any real number \( \lambda > 1 \), there exists a unique \( w \in H = \{ z \in \mathbb{C} : \text{Re } z > 0 \} \) such that \( f(w) = \lambda \).