How popular was Leslie Cheung in HK? What is your memory of him as a HK local?
An important property of Shellsort is that an hk-sorted file that is then hk-1-sorted remains hk-sorted. How do you prove it?