Allen Chou
says to
YSITD
epsilon delta 算是構造性證明ㄇ