sf1 = inf  # positive infinity