ある一定の関数よりも群を抜く光合聖