<?xml version="1.0" encoding="UTF-8"?>

<record version="11" id="8194">
 <title>$2^{\omega(n)} \le \tau(n) \le 2^{\Omega(n)}$</title>
 <name>2omeganLeTaunLe2Omegan</name>
 <created>2006-07-29 12:57:35</created>
 <modified>2008-01-01 12:12:20</modified>
 <type>Theorem</type>
 <creator id="1863" name="Wkbj79"/>
 <author id="1863" name="Wkbj79"/>
 <classification>
	<category scheme="msc" code="11A25"/>
 </classification>
 <related>
	<object name="NumberOfDistinctPrimeFactorsFunction"/>
	<object name="TauFunction"/>
	<object name="NumberOfNondistinctPrimeFactorsFunction"/>
	<object name="DisplaystyleYOmeganOleftFracxlogXy12YRightFor1LeY2"/>
 </related>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}

\usepackage{psfrag}
\usepackage{graphicx}
\usepackage{amsthm}
\usepackage{xypic}

\newtheorem*{thm*}{Theorem}
\newtheorem*{cor*}{Corollary}</preamble>
 <content>Throughout this entry, $\omega$, $\tau$, and $\Omega$ denote the number of distinct prime factors function, the divisor function, and the \PMlinkname{number of (nondistinct) prime factors function}{NumberOfNondistinctPrimeFactorsFunction}, respectively.

\begin{thm*}
For any positive integer $n$, $2^{\omega(n)} \le \tau(n) \le 2^{\Omega(n)}$.
\end{thm*}

\begin{proof}
Note that $2^{\omega(n)}$, $\tau(n)$, and $2^{\Omega(n)}$ are multiplicative.  Also note that, for any positive integer $n$, the numbers $2^{\omega(n)}$, $\tau(n)$, and $2^{\Omega(n)}$ are positive integers.  Therefore, it will suffice to prove the inequality for prime powers.

Let $p$ be a prime and $k$ be a positive integer.  Thus:

\begin{center}
$\begin{array}{rl}
\displaystyle 2^{\omega(p^k)} &amp; =2 \\
\\
\tau(p^k) &amp; =k+1 \\
\\
\displaystyle 2^{\Omega(p^k)} &amp; = 2^k \end{array}$
\end{center}

Hence, $2^{\omega(p^k)} \le \tau(p^k) \le 2^{\Omega(p^k)}$.  It follows that $2^{\omega(n)} \le \tau(n) \le 2^{\Omega(n)}$.
\end{proof}

This theorem has an obvious corollary.

\begin{cor*}
For any squarefree positive integer $n$, $2^{\omega(n)}=\tau(n)=2^{\Omega(n)}$.
\end{cor*}</content>
</record>
