関数解析ですか(>_<。)もう一度証明して正しければどっかに送りつけます