对所有整数N≥1,都有2∧N>N(2∧N表示2的N次方)