任意のi≦nに対しpiが