lower bound SO2 EF