FWIW I did a quick math proof along those lines awhile back too using
some basic first-year math, again proving that larger miners earn more
money per unit hashing power:
http://www.mail-archive.com/bitcoin-development@lists.sourceforge.net/msg03272.html