Relaxed lens upper bound.