Root
Elementary Functions
Root[
polynomialInz
k
]
Theorems
Unequality for rational numbers