大きいは数学的概念ではないから証明以前の話。証明させたいなら大きいの定義をしないと。