Power series expansion, decreasing property, and concavity related to logarithm of normalized tail of power series expansion of cosine | Synapse