\documentclass[12pt,reqno]{article}

\usepackage[usenames]{color}
\usepackage{amssymb}
\usepackage{graphicx}
\usepackage{amscd}

\usepackage[colorlinks=true,
linkcolor=webgreen,
filecolor=webbrown,
citecolor=webgreen]{hyperref}

\definecolor{webgreen}{rgb}{0,.5,0}
\definecolor{webbrown}{rgb}{.6,0,0}

\usepackage{color}
\usepackage{fullpage}
\usepackage{float}

\usepackage{psfig}
\usepackage{graphics,amsmath,amssymb}
\usepackage{amsthm}
\usepackage{amsfonts}
\usepackage{latexsym}
\usepackage{epsf}

\setlength{\textwidth}{6.5in}
\setlength{\oddsidemargin}{.1in}
\setlength{\evensidemargin}{.1in}
\setlength{\topmargin}{-.5in}
\setlength{\textheight}{8.9in}

\newcommand{\seqnum}[1]{\href{http://oeis.org/#1}{\underline{#1}}}

\begin{document}

\begin{center}
\epsfxsize=4in
\leavevmode\epsffile{logo129.eps}
\end{center}

\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}

\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{conjecture}[theorem]{Conjecture}

\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}

\begin{center}
\vskip 1cm{\LARGE\bf 
The Abundancy Index of Divisors of  \\
\vskip .1in
Odd Perfect Numbers
}
\vskip 1cm
\large
Jose Arnaldo B. Dris \\
De La Salle University \\
Manila 1004 \\
The Philippines\\
\href{email:jabdris@yahoo.com.ph}{\tt jabdris@yahoo.com.ph} \\
\end{center}

\vskip .2 in

\begin{abstract}
If $N = {q^k}{n^2}$ is an odd perfect number, where $q$ is the Euler
prime, then we show that $\sigma(n) \le q^k$ is necessary and
sufficient for Sorli's conjecture that $k = \nu_{q}(N) = 1$ to 
hold.  It follows that, if $k = 1$ then the Euler prime $q$ is the
largest prime factor of $N$ and that $q > {10}^{500}$.  We also prove
that $q^k < \frac{2}{3}{n^2}$.
\end{abstract}

\section{Introduction}
Perfect numbers are positive integral solutions to the number-theoretic equation $\sigma(N) = 2N$, where $\sigma$ is the sum-of-divisors function.  Euclid derived the general form for the even case;  Euler proved that every even perfect number is given in the Euclidean form $N = {2^{p - 1}}(2^p - 1)$ where $p$ and $2^p - 1$ are prime.  On the other hand, it is still an open question to determine existence (or otherwise) for an odd perfect number.   Euler proved that every odd perfect number is given in the so-called Eulerian form $N = {q^k}{n^2}$ where $q \equiv k \equiv 1\pmod 4$ and $\gcd(q, n) = 1$.  (We call $q$ the Euler prime of the odd perfect number $N$, and the component $q^k$ will be called the Euler's factor of $N$.)  As of February 2012, only 47 even perfect numbers are known (13 of which were found by the distributed computing project GIMPS \cite{Various2}), while no single example of an odd perfect number has been found.  (Ochem and Rao of CNRS, France are currently orchestrating an effort to 
push the lower bound for an odd perfect number from the previously known ${10}^{300}$ to a significantly improved ${10}^{1500}$  
(see \cite{ochem}).
Nielsen has obtained the lower bound $\omega(N) \ge 9$, for the number
of distinct prime factors of $N$; and the upper bound $N <
2^{4^{\omega(N)}}$ (\cite{Various2,Weisstein}).

Let $\sigma(x)$ denote the sum of the divisors of the natural number $x$.  That is, let $\sigma(x) = \sum_{d|x}{d}$.  Let $\omega(x)$ denote the number of distinct prime factors of $x$.  Let $\nu_{q}(N)$ denote the highest power of $q$ that divides $N$;  that is, if $l = \nu_{q}(N)$, then ${q^l}|N$ but $q^{l+1} \nmid N$.  Let $I(x) = \sigma(x)/x$ denote the abundancy index of $x$.\\    

Sorli conjectured in \cite{Sorli} that the exponent $k = \nu_{q}(N)$ on the Euler prime $q$ for an odd perfect number $N$ given in the Eulerian form $N = {q^k}{n^2}$ is one.

Throughout this paper, we will let $$N = {q^k}{n^2} = \displaystyle\prod_{j=1}^{\omega(N)}{{q_j}^{\beta_j}}$$ denote the canonical factorization of the odd perfect number $N$. That is, 
$$\min(q_j) = {q_1} < {q_2} < {q_3} < \dotsb < {q_{\omega(N)}} = \max(q_j).$$ \\  
Note that $q$ is never the smallest prime divisor of $N$.  This is because $q$, being congruent to $1$ modulo $4$, satisfies $(q + 1) | \sigma(q^k) | \sigma(N) = 2N$ giving $\frac{q+1}{2} | N$, so $N$ must have a smaller odd prime divisor than $q$.

\section{Odd Perfect Numbers Circa 2008}

We begin with the following definition:

\begin{definition}\label{EulerianForm}
An odd perfect number $N$ is said to be given in Eulerian form if $N = {q^k}{n^2}$ where $q \equiv k \equiv 1\pmod 4$ and $\gcd(q, n) = 1$. 
\end{definition}

The author made the following conjecture \cite{Dris2}:

\begin{conjecture}\label{Conjecture1}
Suppose there is an odd perfect number given in Eulerian form.  Then ${q^k} < n$.
\end{conjecture}

The author formulated Conjecture \ref{Conjecture1} on the basis of the following result:

\begin{lemma}\label{Lemma1}
If an odd perfect number $N$ is given in Eulerian form, then $I(q^k) < \displaystyle\frac{5}{4} < \displaystyle\sqrt{\frac{8}{5}} < I(n)$.
\end{lemma}

\begin{proof}
Since $q$ is the Euler prime and 
$$I(N) = 2 = I(q^k)I(n^2),$$\\
we appeal to some quick numerical results.  Since 
$$I(q^k) < \frac{q}{q - 1}$$ 
and $q \equiv 1\pmod 4$, we know that $q \ge 5$.  Consequently, we have
$$1 < I(q^k) < \frac{5}{4} = 1.25.$$
On the other hand, 
$$I(n^2) = \frac{2}{I(q^k)}$$
so that we obtain the bounds
$$1.6 = \frac{8}{5} < I(n^2) < 2.$$
But it is also (fairly) well-known \cite{Nathanson,Sandor1,Sandor2} that the abundancy index (as a function) satisfies the inequality
$$I(ab) \le I(a)I(b)$$
with equality occurring if and only if $\gcd(a, b) = 1$. 

In particular, by setting $a = b = n$, we get
$$\frac{2}{I(q^k)} = I(n^2) < (I(n))^2$$
whereupon we get the lower bound
$$\sqrt{\frac{8}{5}} < \sqrt{\frac{2}{I(q^k)}} = \sqrt{I(n^2)} < I(n).$$
We get the rational approximation $\sqrt{8/5} \approx 1.264911$.
\end{proof}

\begin{remark}\label{Remark1}
When Conjecture \ref{Conjecture1} was formulated in 2008, the author was under the naive impression that the divisibility constraint $\gcd(q, n) = 1$ induced an ``ordering'' property for the Euler prime-power $q^k$ and the component $n=\sqrt{N/q^k}$, in the sense that the related inequality $q^k < n^2$ followed from the result $I(q^k) < I(n^2)$.  (Indeed, the author was able to derive the (slightly) stronger result $q^k < \sigma(q^k) \le (2/3){n^2}$ \cite{Dris2}).
\end{remark}

We reproduce the proof for a generalization of the author's result mentioned in Remark \ref{Remark1} in the following theorem.

\begin{theorem}\label{Theorem}
Suppose there is an odd perfect number with canonical factorization
$$N = \displaystyle\prod_{i = 1}^{\omega(N)}{{q_i}^{\alpha_i}}$$
where the ${q_i}$'s are primes and $q_1 < q_2 < \cdots < q_{\omega(N)}$.  Then, for all $i$ with $1 \le i \le \omega(N)$, the numbers $\rho_i = \sigma(N/{{q_i}^{\alpha_i}})/{{q_i}^{\alpha_i}}$ are positive integers and satisfy $\rho_i \ge 3$.
\end{theorem}

\begin{proof}
Since $$N = \displaystyle\prod_{i = 1}^{\omega(N)}{{q_i}^{\alpha_i}}$$ is an odd perfect number and ${{q_i}^{\alpha_i}} || N$ $\forall i$, then the quantity $\rho_i = \sigma(N/{{q_i}^{\alpha_i}})/{{q_i}^{\alpha_i}}$ is an integer (because $\gcd({q_i}^{\alpha_i}, \sigma({{q_i}^{\alpha_i}})) = 1$). 

Suppose $\rho_i = 1$.  Then $\sigma(N/{{q_i}^{\alpha_i}}) = {q_i}^{\alpha_i}$ and $\sigma({q_i}^{\alpha_i}) = {2N}/{{q_i}^{\alpha_i}}$.  Since $N$ is an odd perfect number, $q_i$ is odd, whereupon we have an odd $\alpha_i$ by considering parity conditions from the last equation.  But this means that $q_i$ is the Euler prime $q$, and we rewrite the equations using ${q_i}^{\alpha_i} = q^k$ and $N/{{q_i}^{\alpha_i}} = N/{q^k} = n^2$, giving $\sigma(q^k) = 2{n^2}$ and $\sigma(n^2) = q^k$.  This contradicts Dandapat, et.~al. \cite{Dandapat} who showed in 1975 that no odd perfect number satisfies these constraints.  This implies that $\rho_i \ne 1$. 

Suppose $\rho_i = 2$.  Then $\sigma(N/{{q_i}^{\alpha_i}}) = 2{q_i}^{\alpha_i}$ and $\sigma({q_i}^{\alpha_i}) = N/{{q_i}^{\alpha_i}}$.  Since $N/{{q_i}^{\alpha_i}}$ is odd, then the last equation gives $\alpha_i$ is even.  Applying the $\sigma$ function to both sides of the last equation, we get $\sigma(\sigma({q_i}^{\alpha_i})) = \sigma(N/{{q_i}^{\alpha_i}}) = 2{q_i}^{\alpha_i}$.  This last equation implies that ${q_i}^{\alpha_i}$ is superperfect.  This contradicts Suryanarayana \cite{Suryanarayana} who showed in 1973 that ``There is no odd superperfect number of the form $p^{2\alpha}$'' (where $p$ is prime).  This implies that $\rho_i \ne 2$.  Since $\rho_i \in \mathbb{N}$, $\rho_i \ge 3$ and we are done.
\end{proof}

\begin{corollary}\label{Corollary}
If an odd perfect number $N$ is given in Eulerian form, then $q^k < (2/3)n^2$.
\end{corollary}

Next, we define the functions $L(q)$ and $U(q)$.

\begin{definition}\label{LowerandUpperBounds}
If $q$ is the Euler prime of an odd perfect number $N$ given in Eulerian form, then 
$$L(q) = (3q^2 -4q + 2)/(q(q - 1))$$ 
and 
$$U(q) = (3q^2 + 2q + 1)/(q(q + 1)).$$  
\end{definition}

The author obtained the following results in the same year (2008).

\begin{lemma}\label{Lemma2}
Let $N$ be an odd perfect number given in Eulerian form.  Then we have the bounds $L(q) < I(q^k) + I(n^2) \le U(q)$.
\end{lemma}

\begin{proof}
Starting from the (trivial) inequalities
$$\frac{q + 1}{q} \le I(q^k) < \frac{q}{q - 1}$$ 
we get
$$\frac{2(q - 1)}{q} < I(n^2) = \frac{2}{I(q^k)} \le \frac{2q}{q + 1}.$$ 
Notice that
$$\frac{q}{q - 1} < \frac{2(q - 1)}{q}$$ 
for $q$ an Euler prime. Consequently
$$I(q^k) < I(n^2)$$
a result which was mentioned earlier in Remark \ref{Remark1}. \\

Consider the product $\left(I(q^k) - \displaystyle\frac{q + 1}{q}\right)\left(I(n^2) - \displaystyle\frac{q + 1}{q}\right)$. This product is nonnegative since $\displaystyle\frac{q + 1}{q} \le I(q^k) < I(n^2)$.  Expanding the product and simplifying using the equation $I(q^k)I(n^2) = 2$, we get the upper bound $U(q) = \displaystyle\frac{3q^2 + 2q + 1}{q(q + 1)}$ for the sum $I(q^k) + I(n^2)$. 

Next, consider the product $\left(I(q^k) - \displaystyle\frac{q}{q - 1}\right)\left(I(n^2) - \displaystyle\frac{q}{q - 1}\right)$. This product is negative since $I(q^k) < \displaystyle\frac{q}{q - 1} < I(n^2)$. Again, expanding the product and simplifying using the equation $I(q^k)I(n^2) = 2$, we get the lower bound $L(q) = \displaystyle\frac{3q^2 -4q + 2}{q(q - 1)}$ for the same sum $I(q^k) + I(n^2)$. 

A quick double-check gives that, indeed, the lower bound $L(q)$ is less than the upper bound $U(q)$, if $q$ is an Euler prime.
\end{proof}

\begin{remark}\label{Remark2}
Notice that, from the proof of Lemma \ref{Lemma2}, we have
$$\frac{q}{q - 1} < \frac{2(q - 1)}{q}$$
which implies that ${\left({\displaystyle\frac{q}{q - 1}}\right)}^2 < 2$.
Thus
$$1 < I(q^k) < \frac{q}{q - 1} < \sqrt{2} = \frac{2}{\sqrt{2}} < \frac{2(q - 1)}{q} < I(n^2) < 2.$$
Also, observe from Lemma \ref{Lemma1} that
$$I(q^k) < \frac{5}{4} < \sqrt{\frac{8}{5}} < \sqrt{\frac{2}{I(q^k)}}$$
which implies that $I(q^k)\sqrt{I(q^k)} < \sqrt{2}.$  It follows that
$$I(q^k) < \sqrt[3]{2}.$$
We get the rational approximation $\sqrt[3]{2} \approx 1.259921$. 
\end{remark}

We give explicit bounds for the sum $I(q^k) + I(n^2)$ in the following corollary.

\begin{corollary}\label{Corollary1}
Let $N$ be an odd perfect number given in Eulerian form. Then we have the following (explicit) numerical bounds.
$$2.85 = \frac{57}{20} < I(q^k) + I(n^2) < 3$$
with the further result that they are best-possible.
\end{corollary}

\begin{proof}
This corollary can be proved using Lemma \ref{Lemma2} and basic differential calculus, and is left as an exercise to the interested reader.
\end{proof}

\begin{remark}\label{Remark3}
As remarked by Joshua Zelinsky a few years back, ``Any improvement on the upper bound of 3 would have (similar) implications for all arbitrarily large primes and thus would be a very major result.'' (e.g., $U(q) < 2.99$ implies $q \le 97$.)  In this sense, the inequality $$2.85 = \frac{57}{20} < I(q^k) + I(n^2) < 3$$ is best-possible.
\end{remark}

\begin{remark}\label{Remark4}
Note that, from Lemma \ref{Lemma2}, 
$$L(q) = \frac{3q^2 -4q + 2}{q(q - 1)} = 3 - \frac{q - 2}{q(q - 1)}$$ 
and 
$$U(q) = \frac{3q^2 + 2q + 1}{q(q + 1)} = 3 - \frac{q - 1}{q(q + 1)}.$$
Observe that, when $L(x)$ and $U(x)$ are viewed as functions on the domain $D = \mathbb{R}\setminus\{-1, 0, 1\}$, then 
$$L(x + 1) = U(x)$$ 
and 
$$U(2) = U(3) = L(3) = \frac{17}{6} < 2.84.$$
\end{remark}

\section{Sorli's Conjecture}

We now state Sorli's conjecture on odd perfect numbers.

\begin{conjecture}\label{Conjecture2}
If $N$ is an odd perfect number with Euler prime $q$ then $q || N$.
\end{conjecture}

\begin{remark}\label{Remark6}
In other words, if the odd perfect number $N$ is given in the Eulerian form $N = {q^k}{n^2}$, then Sorli's conjecture predicts that $k = \nu_{q}(N) = 1$.  Note that, in general by Remark \ref{Remark1} we have 
$$q^k<\sqrt{N}={q^{k/2}}n$$
which gives $q^{k/2} < n$.  Furthermore, the inequality $\sigma(q^k) \le (2/3){n^2}$ from Theorem \ref{Theorem} gives us $(\sqrt{6}/2){q^{k/2}} < n$. Together, these two inequalities imply $(\sqrt{6}/2){q^k} < n^2$. Note that for further reference, we get the rational approximation ${\frac{\sqrt{6}}{2}} \approx 1.22474487$.
\end{remark}

We give a set of conditions equivalent to Sorli's conjecture. (In that direction, recall that the components $q^k$ and $n^2$ of the odd perfect number $N = {q^k}{n^2}$ are related via the inequality $q^k < n^2$, as mentioned in Remark \ref{Remark1}.)

We begin with the following lemma, which gives a sufficient condition for Sorli's conjecture to hold.

\begin{lemma}\label{Lem}
Let $N$ be an odd perfect number given in Eulerian form.  If $n < q$, then $k = 1$.
\end{lemma}

\begin{proof}
If $n < q$, then by Corollary \ref{Corollary}, $q \le q^k < n^2 < q^2$ so $k = 1$. 
\end{proof}

\begin{remark}\label{Remark7} Via a similar argument, we get that $n < q^2$ also implies $k = 1$.
\end{remark}

It turns out that $n < q$ is also a necessary condition for Sorli's conjecture to hold.

\begin{lemma}\label{Lemm}
Let $N$ be an odd perfect number given in Eulerian form.  If Conjecture \ref{Conjecture1} is true, then Sorli's conjecture is false.
\end{lemma}

\begin{proof}
If Conjecture \ref{Conjecture1} is true, then $q^k < n$.  Suppose Sorli's conjecture is also true.  Then $k = 1$.  It follows that $q < n$.  Thus, $k = 1$ implies that $q < n$.  The contrapositive of the last statement is $n < q$ implies that $k > 1$, which contradicts Lemma \ref{Lem}.
\end{proof}

The last lemma in this section gives another condition equivalent to Sorli's conjecture.

\begin{lemma}\label{Lemma}
Let $N$ be an odd perfect number given in Eulerian form.  Then $n < \sigma(q)$ if and only if $n < q$. 
\end{lemma}

\begin{proof}
Assume that $n < \sigma(q)$.  If $q < n$, then $q < n < \sigma(q) = q + 1$, contradicting the fact that $n \in \mathbb{N}$.  Now, assume that $n < q$.  Since 
$$q < q + 1 = \sigma(q),$$ 
it follows that $n < \sigma(q)$.
\end{proof}

\begin{theorem}\label{Theorem1}
Let $N$ be an odd perfect number given in Eulerian form. Then Sorli's conjecture is true if and only if $\sigma(n) \le q^k$. 
\end{theorem}

Hence if Sorli's conjecture is true, $q$ is the largest prime which divides $N$.

Using a lower bound for the largest prime factor of an odd perfect number obtained by Goto and Ohno \cite{Goto}, we have the following theorem.

\begin{theorem}\label{Theorem2}
Let $N$ be an odd perfect number given in Eulerian form. If Sorli's conjecture is true, then $q > {10}^8$.
\end{theorem}

\begin{proof}
Suppose that Sorli's conjecture is true.  Then $k = 1$, and by Theorem \ref{Theorem1}, $n < q$. This means that the Euler prime $q$ is the largest prime factor of the odd perfect number $N = {q^k}{n^2}$.  By \cite{Goto}, we get $q > {10}^8$.
\end{proof}

We can improve on Theorem \ref{Theorem2} by using a recent lower bound of ${10}^{1500}$ for the magnitude of an odd perfect number obtained by Ochem and Rao.

\begin{theorem}\label{Theorem3}
Let $N$ be an odd perfect number given in Eulerian form. If Sorli's conjecture is true, then $q > {10}^{500}$.
\end{theorem}

\begin{proof}
Suppose that Sorli's conjecture is true.  Then $k = 1$, and by Theorem \ref{Theorem1}, $n < q$.  Consequently, $n^2 < q^2$, which gives $\bar{N} = qn^2 < q^3$, where $\bar{N}$ is the same odd perfect number as $N = {q^k}{n^2}$ when $k = 1$.  Since $\bar{N} > {10}^{1500}$, we get $q > {10}^{500}$.  
\end{proof}

\section{Conclusion}
Sorli's conjecture, if proved, will enable easier computations with odd perfect numbers because then the abundancy index $I(q^k)$ for the Euler prime $q$ collapses to $I(q) = (q + 1)/q$.  In addition, the Euler prime becomes the largest prime factor.

\section{Acknowledgment}
The author would like to thank Severino Gervacio, Arlene Pascasio, Fidel Nemenzo, Jose Balmaceda, Julius Basilla, Blessilda Raposa, Carl Pomerance, Richard Brent and Gerry Myerson for sharing their expertise.  Lastly, the author wishes to express his deepest gratitude to Joshua Zelinsky from whom he derived the inspiration to pursue OPNs as a research topic.

\begin{thebibliography}{13}
\bibitem{Dandapat}
G.~G.~Dandapat, J.~L.~Hunsucker and C.~Pomerance, Some new results on
odd perfect numbers, \emph{Pacific J. Math.} $\mathbf{57}$ (1975),
359--364.  Available at \url{http://projecteuclid.org/euclid.pjm/1102905990}.

\bibitem{Dris1}
J.~A.~B.~Dris, On the components of an odd perfect number,
\emph{Electronic Proceedings of the 9th Science and Technology
Congress}, De La Salle University, Manila, Philippines, July 4, 2007.
Available at \url{http://www.scribd.com/doc/47526935/OPNPaper1}.

\bibitem{Dris2}
J.~A.~B.~Dris, Solving the Odd Perfect Number Problem: Some Old and New
Approaches, M.~S.~ Math thesis, De La Salle University, Manila,
Philippines, 2008.  Available at
\url{http://www.scribd.com/doc/16144034/OPNThesis1}.

\bibitem{Dris3}
J.~A.~B.~Dris, Solving the odd perfect number problem: some new
approaches, \emph{Electronic Proceedings of the 11th Science and
Technology Congress}, De La Salle University, Manila, Philippines,
Sept. 22, 2009.  Available at
\url{http://www.scribd.com/doc/19690412/OPNPaper2}.

\bibitem{Goto}
T.~Goto and Y.~Ohno, Odd perfect numbers have a prime factor exceeding
${10}^8$, \emph{Math. Comp.} $\mathbf{77}$ (2008), 1859--1868.

\bibitem{Nathanson}
M.~B.~Nathanson, \emph{Elementary Methods in Number Theory},
Springer-Verlag, 2000.

\bibitem{ochem}
P. Ochem,  Odd perfect numbers, \url{http://www.lirmm.fr/~ochem/opn/}.

\bibitem{Sandor1}
J.~Sandor and B.~Crstici, Perfect numbers: old and new issues  ---
perspectives, in J.~Sandor and B.~Crstici, eds., \emph{Handbook of
Number Theory}, Vol.\ II, Kluwer Academic Publishers, 2004, pp.\ 15--98.

\bibitem{Sandor2}
J.~Sandor, D.~Mitrinovic, and B.~Crstici, Sum-of-divisors function,
generalizations, analogues --- perfect numbers and related problems, in
J.~Sandor, D.~Mitrinovic, and B.~Crstici (eds.), \emph{Handbook of
Number Theory}, Vol.\ I, Thomson Gale, 2006, pp.\ 77--120.

\bibitem{Sorli}
R.~M.~Sorli, Algorithms in the Study of Multiperfect and Odd Perfect
Numbers, Ph.~D. Thesis, University of Technology, Sydney, 2003, \\
\url{http://epress.lib.uts.edu.au/dspace/handle/2100/275}.

\bibitem{Suryanarayana}
D.~Suryanarayana, There is no odd super perfect number of the form
$p^{2\alpha}$, \emph{Elem. Math.} $\mathbf{24}$ (1973), 148--150.
Available at \\
\url{http://www.digizeitschriften.de/resolveppn/GDZPPN002078856}.

\bibitem{Various1}
``Great Internet Mersenne Prime Search'',
\url{http://www.mersenne.org/prime.htm}.

\bibitem{Various2}
Wikipedia, ``Perfect Number'', 
\url{http://en.wikipedia.org/wiki/Perfect_number}.

\bibitem{Weisstein}
E.~W.~Weisstein, ``Perfect Number.'' MathWorld, available at \\
\url{http://mathworld.wolfram.com/PerfectNumber.html}.

\end{thebibliography}

\bigskip
\hrule
\bigskip

\noindent 2010 {\it Mathematics Subject Classification}:
Primary 11A05; Secondary 11J25, 11J99.

\noindent \emph{Keywords: } 
odd perfect number, Sorli's conjecture, Euler's factor.

\bigskip
\hrule
\bigskip

\vspace*{+.1in}
\noindent
Received January 12 2011;
revised versions received June 5 2011; October 26 2011; 
December 11 2011; March 23 2012.
Published in {\it Journal of Integer Sequences},
April 9 2012.

\bigskip
\hrule
\bigskip

\noindent
Return to
\htmladdnormallink{Journal of Integer Sequences home page}{http://www.cs.uwaterloo.ca/journals/JIS/}.
\vskip .1in


\end{document}

                                                                                

