Talk:Partition of an interval