Monotonicity of the polaron energy II:General theory of operator monotonicity

We construct a general theory of operator monotonicity and apply it to the Fr\"ohlich polaron hamiltonian. This general theory provides a consistent viewpoint of the Fr\"ohlich model.