To prove positivity in this class of functions using SOS techniques, Reznick 2000 has shown that if px > 0, for all x ∈ R, then there exists a positive integer r so that
Para demostrar positividad en este tipo de funciones usando técnicas SOS, en Reznick, 2000 se demuestra que si px > 0, ∀x ∈ Rn, entonces existe un r entero positivo tal que