l=sup(sup{│ap-aq｜;p,q≧１}+m)=sup((supa-infa)+infa)=supa
...