求证a1*a2*a3*a4.*an≥根号2n+1