区間[u,v]全体での最大値をmとおいてるんだから[a-r,a+r]でもf(x)≦mやん?
a≦(u+v)/2と仮定してるんだから区間[a-r,a+r]全体は[u,v]の部分集合