lemotw says to YSITD
跟不等式一樣原理~