∞ × 0 = 0

2^ncn^2

= 2^n( an^2-bn^2 )

→ 0 ( n → ∞ )

が言えたら

J( a , b )

= ( a^2-Σ2^( n-1 )cn^2 ( n = 0 〜 ∞ ) )I( a , b )

が成り立ってくれるんだが・・・・・・・