driving_crooner, 8 months ago After searching a little, I found the name of the function and it’s proof: en.wikipedia.org/wiki/LogSumExp
After searching a little, I found the name of the function and it’s proof: en.wikipedia.org/wiki/LogSumExp