W1.N-ADV.3: Raíz cuadrada
- **category:** `tutorial`
- **pedagogicalRationale:**
- **Objetivo pedagógico:** Presentar la función `raiz(numero)` en aislamiento. El estudiante experimenta de manera pura el contrato de la función: recibe un número no negativo y devuelve su raíz cuadrada.
- **Habilidad reforzada:** Invocación de una función matemática builtin en una expresión y lectura/escritura en flujo secuencial.
- **Disciplina Collider:** `ops: []`. Se prohíben estrictamente todos los operadores aritméticos (en particular `**`, `*` y `/`), impidiendo que el estudiante intente aproximaciones o atajos como `n ** 0.5`. La única vía para resolver el ejercicio es utilizar el bloque o función `raiz(...)`.
- **Errores comunes:** Intentar buscar operadores de potencia, no almacenar o no imprimir directamente el valor retornado por `raiz`, o asumir que la entrada requiere validación manual previa.
### Enunciado (`statement`)
```markdown
## Objetivo
Aprende a utilizar la función predefinida \`raiz\` para calcular la raíz cuadrada de un número.
El programa lee un número entero no negativo desde la primera línea de la entrada estándar (\`stdin\`) y escribe en la salida estándar (\`stdout\`) su raíz cuadrada exacta utilizando \`raiz(n)\`.
## Entrada
Un único número entero no negativo $n \ge 0$.
## Salida
La raíz cuadrada de $n$. Cuando el resultado es un número entero exacto, se escribe sin decimales redundantes (por ejemplo, \`5\` en lugar de \`5.0\`).
## Ejemplo
- **Entrada:** \`25\`
- **Salida:** \`5\`
```
### Casos de prueba (`cases`)
Ejemplos
Entrada
25
Salida
5