A (one-dimensional) Free Brunn-minkowski Inequality