sinx=∑n≥0(−1)nx2n+1/(2n+1)! and cosx=∑n≥0(−1)nx2n/(2n)!. Here sin′′′=−cos is negative while cos>0 near zero; applying the preceding shape argument until the first zero of cos and then the addition identities establishes a first positive zero x0 with positivity before it.