-infty < +infty by Lm7;