https://worldofsoftware.org/logsumexp-function-properties-lemmas-for-energy-functions-hackernoon/