integral constraint for length