(1/(2^m+1))+(1/(2^m+2))+…+{1/(2^m+2^m)} ← 2^m 個の和。2^m 個のうち最小値が最後の 1/(2^m+2^m) = 1/2^(m+1)

＞{1/2^(m+1)}*2^m