Upper bound? I thought it was a tight asymptotic lower bound.