-94076168231domain: ZAppears in sequencesLet phi = arccos(1/3), the dihedral angle of the regular tetrahedron. Then cos(n*phi) = a(n)/3^n.at n=23A025172