[a]+[b]<=a+bは分かりますけど、そこから[a]+[b]<=[a+b]になるのがわかめません。(x_x;)