ガウス記号について。
[a]+[b]<=[a+b]の証明。