A prime-power is any integer of the form p, where p is a prime and a is a positive integer. Two prime-powers are independent if they are powers of different primes. The Fundamental Theorem of Arithmetic amounts to the assertion that every positive integer N is the product of a unique set of independent prime-powers, which we call the principal divisors of N. For example, 3 and 4 are the principal divisors of 12, while 2, 5 and 9 are the principal divisors of 90. The case N = 1 fits this description, using the convention that an empty set has product equal to 1 (and sum equal to 0). In a recent invited lecture, Brian Alspach noted [1]: Any odd integer N > 15 that is not a prime-power is greater than twice the sum of its principal divisors. For instance, 21 is more than twice 3 plus 7, and 35 is almost three times 5 plus 7, but 15 falls just short of twice 3 plus 5. Alspach asked for a nice (elegant and satisfying) proof of this observation, which he used in his lecture to prove a result about cyclic decomposition of graphs. Responding to the challenge, we prove Alspach's observation by a very elementary argument. You, the reader, must be the judge of whether our proof qualifies as nice. We also show how the same line of reasoning leads to several stronger yet equally elegant upper bounds on sums of principal divisors. Perhaps surprisingly, our methods will not focus on properties of integers. Rather, we consider properties of finite sequences of positive real numbers, and use a classical elementary inequality between the product and sum of any such sequence. But first, let us put Alspach's observation in its number theoretic context.