És primer? P36936

En matemàtiques, es diu que un natural és primer si és estrictament major que 1 i els seus únics divisors són 1 i ell mateix. Escriviu una funció

    def es_primer(n: int) -> bool: ...

que indiqui si un natural $n$ és o no primer.

Observació

Com és habitual en informàtica, els nombres naturals inclouen el zero.

Pista

Per a cada nombre $n$, calen com a màxim uns $\sqrt{n}$ passos per saber si és primer o no.