logsqrt dos ((cinco -x)^ dos)>=x^ dos *log2((x- cinco)^2)+x*log1/sqrt2(cinco -x)
logaritmo de raíz cuadrada de 2((5 menos x) al cuadrado ) más o igual a x al cuadrado multiplicar por logaritmo de 2((x menos 5) al cuadrado ) más x multiplicar por logaritmo de 1 dividir por raíz cuadrada de 2(5 menos x)
logaritmo de raíz cuadrada de dos ((cinco menos x) en el grado dos) más o igual a x en el grado dos multiplicar por logaritmo de 2((x menos cinco) al cuadrado ) más x multiplicar por logaritmo de 1 dividir por raíz cuadrada de 2(cinco menos x)