Li-Fan Chen says to YSITD
size(n) // 2 相當於 size(n) » 1