この時、条件の下で全体のエントロピーを最大とする条件を考えると、すなわちとなる.
この時、