Li-Fan Chen
says to
YSITD
就可以證明那條式子成立