  The purpose of this work is to give a direct proof of the multiplicative
Brunn-Minkowski inequality in nilpotent Lie groups based on Hadwiger-Ohmann's
one of the classical Brunn-Minkowski inequality in Euclidean space.
