sf1 = +inf  # positive infinity