I entered
MinValue[{Prime[n], n>=1 && Element[n, Integers]}, n]
But I just got back what I entered. Why can mathematica not tell me the smallest prime is 2?
Even
MinValue[{Prime[n], 1<=n<=10 && Element[n, Integers]}, n]
seems to be beyond it, which is bizarre since it only has to check 10 values.