effbound function

Lower bound on efficiency