stream filter 获取最小值