Li-Fan Chen says to YSITD
圓周 = pi r 有證明ㄇ