* random generation of sorted vector