设顺序表 va 中的数据元素递增有序。试写一算法，将 x 插入到适当的位置上，以保持该表的有序性。

以下是插入元素 x 的算法：

1. 初始化变量 i 为 1，j 为表的长度。
2. 当 i <= j 时，执行以下步骤：
a. 将 mid 设为 (i+j)/2，即表的中间位置。
b. 如果 x 小于等于 va[mid]，则将 j 设为 mid-1。
c. 否则，将 i 设为 mid+1。
3. 将 x 插入到 va[i] 的位置上，即将 va[i] 到 va[n] 的元素都向后移动一个位置。
4. 表的长度加 1。

这个算法的时间复杂度为 O(log n)，其中 n 是表的长度。