Li-Fan Chen
says to
YSITD
欸欸 好像有個定理是說一個集合裡面一定有一個最小的元素