small insertion on upper limit expl.