Lemma 34.6.2. Any smooth covering is a syntomic covering, and a fortiori, any étale or Zariski covering is a syntomic covering.

Proof. This is clear from the definitions and the fact that a smooth morphism is syntomic, see Morphisms, Lemma 29.34.7 and Lemma 34.5.2. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).