Mahler's inequality