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