Upper boundary is inclusive