Li-Fan Chen says to YSITD
我們先假設是比是否大於等於