Concavity and efficient points of discrete distributions in probabilistic programming · Study