"for *a* positive integer n"