>>572
微分可能ならf(x)がx=1で連続で式一つ立てれる
それぞれの領域での導関数がx->1への極限で等しいという条件で式一つ
連立して終わり