P
Initializing...
Prékopa's theorem: marginals of log-concave functions are log-concave · Prove2Me