(interval[5,∞] / interval[5,∞])