For any real number x, [x] is called the greatest integer function of x,

defined as the largest integer not larger than x. Prove that 2[x] ::; [2x] ::;

2[x] + 1.