>>340
微分してこうなる関数がないと言う証明です。