finite interval