>>797 ルベーグ積分しらないんなら
 たとえば区間をa_mに対して[0,1/m^2],[1/m^2,1]に分けて考えて
 不等式立ててやればやれば直接証明もできる。