new lis algorithm using lower_bound