Melchior's inequality