Garuda Code

$\forall n\in\mathbb N$، دع$A_n =\{k\in\mathbb N\mid k\geq n \} $. أثبت أن$\ displaystyle\bigcap_ {k\in\mathbb N} A_k =\emptyset $.