20170615

整数 n に対して, n(n+1)/2 は三角数である.
{y; ある整数 n が存在し, y=n(n+1)/2} の最小元は 0 である.
{y; ある有理数 x が存在し, y=x(x+1)/2} の最小元は -1/4 である.
{y; ある実数 x が存在し, y=x(x+1)/2} の最小元は -1/4 である.
どの複素数 w に対してもある複素数 z が存在し, w=z(z+1)/2.