単位円周上に有限個の点がある
それらの点との距離の総積が2以上となる単位円周上の点が必ず存在することを示してください