밑줄 친 부분이 부등식이 아니라 등식이어야하는 거 아닌가요..? L1공간에서 정의된 norm을 생각해보면 등식인 것 같은데...