(world | (electricity consumption)) / ((Sun | luminosity) * ((Earth | diameter)^2 * pi) / ((1 au)^2 * pi))