Li-Fan Chen says to YSITD
若 x 是自然數,