>>475
じゃぁ
p,qを任意の自然数とすると、定義より、
l≧a_p　…①
m≦a_q　…②
①②より
l－m＝sup{｜a_p－a_q｜}
でいいんですか？
ありがとうございました。