-1525679

Appears in sequences

• Let phi = arccos(1/3), the dihedral angle of the regular tetrahedron. Then cos(n*phi) = a(n)/3^n.at n=13A025172