How to create a countdown counter in Drupal 7 that says:

Your download will start in 5 seconds...

During page load and it countdown the number to 5, 4, 3, 2, 1

And change the value to "our download will start shortly... "

When finished?


Question: Upper Bound on Determinant of Matrix in terms of Trace
Answer: Let $\,\lambda_1,...,\lambda_n\,$ be the matrix's eigenvalues (perhaps in some field extension of the original one), which are all positive (of course, it is customary to consider only Hermitian, or symmetric, matrices when defining positive definite), then

$$\det A=\prod_{k=1}^n \lambda_k\,\,\,,\,\,\,\operatorname{tr.}A=\sum_{k=1}^n\lambda_k$$

Thus we're required to prove

$$\prod_{k=1}^n\lambda_k\leq\left(\frac{\sum_{k=1}^n\lambda_k}{n}\right)^n\Longleftrightarrow \sqrt[n]{\prod_{k=1}^n\lambda_k}\leq \,\frac{1}{n}\sum_{k=1}^n\lambda_k$$

which is precisely the AM-GM inequality, as you mentioned.