But earlier we saw $ f(x) = 1 - rac12(\cos 2x - \cos 4x) $. Let’s test $ x = rac\pi2 $: - AMAZONAWS