The solution is " smallest positive, positive real ".