revise lowerbound with Power