>>171
実数の拡張でこの等式が|x|>1でも成り立てばいいんじゃないの?