https://www.42ch.net/UploaderSmall/source/1605407380.png

 図の赤線部で不等号があるのはなぜですか?
 シュワルツの不等式は、一般に複素数では成り立たないと思うのですが。