よって最小値…
と
等号成立は…
の順序が逆、
もしくは等号成立は…の文を但し書きにするなど、よって最小値…の文に付随する文として扱うか

x+1+4/(x+1)≧…=4
の式から言えることは x+1+4/(x+1) が4未満の値をとらないことであって、
4の値をとるかどうかを別に示さなければ最小値かどうかは示せない
等号成立の確認がそれにあたる