>>289
極限が存在して微分可能であることが確認された。