Lower Bounds and Derandomization