The inequality (1.1) is sharp in the sense that G(n, p), depending on n and p, cannot be
replaced by a bigger constant so that (1.1) would remain true for each xi 2 [0, 1].
For M = 1 and m = 0, from (1.1), it follows that (with assumptions listed in Theorem 1.2)