>>64
前半はどうやって証明したの
微分?