>>372
>>375
(<X>_h・<Y>_h)^2 - (<X+Y>_h)^2
　= (h+|X|^2)(h+|Y|^2) - (h + |X+Y|^2)
　= h(h-1) + h(|X|^2+|Y|^2) - (|X|^2 + |Y|^2 +2(X・Y)) + (|X||Y|)^2
　= h(h-1) + (h-1)(|X|^2+|Y|^2) - 2(X・Y) + (|X||Y|)^2
　≧ h(h-1) + 2(h-1)Z - 2Z + Z^2　　　　( Z=|X||Y| )
　= h(h-1) -2(2-h)Z + Z^2
　= 3h -4 + (2-h-Z)^2
　≧ 3h -4,
これがつねに非負だから
　h ≧ 4/3,