Li-Fan Chen says to YSITD
理論上也應該是大於0吧