2^(p - 1)(2^p - 1)
((1 << p) - 1) << (p - 1)
(There are no odd perfect numbers in the range under consideration.)
(There are no odd perfect numbers in the range under consideration.)