b/Si "S" es acotada inferiormente y monótonamente decreciente, "S" converge a inf S