Monotonicity of the polaron energy - Tadahiro Miyao (2012)