開区間だとおかしいな。

Aの上限sup(A)をt_m/kとおく。
任意のkAの元tに対して、
t/k≦t_m/k=sup(A)
t≦t_m=ksup(A)
となるので、これはkAの上限である。
同様に下限。