Symbol: lower_bound