There are two hard limits on how fast a lens can be:
The first is a thermodynamic limit. If you could make a lens arbitrarily fast, then you could point it to the sun and use it to heat your sensor (not a good idea). If you then get your sensor hotter than the surface of the Sun, you are violating the second law of thermodynamics.
This sets a hard limit at f/0.5, which can be derived from the conservation of etendue. Well, technically it's more like T/0.5. You can make lenses with f-numbers smaller than 0.5, but they will not be as fast as their f-numbers suggest: either they will work only at macro distances (with “effective” f-numbers larger than 0.5), or they will be so aberrated as to be useless for photography (like some lenses used to focus laser beams, which can only reliably focus a point at infinity on axis).
The second limit is the mount. This limits the angle of the light cone hitting the sensor. Your trick of using a diverging element dos not work. You certainly get a wider entrance pupil, but then you have a lens combination which has a longer focal length than the initial lens. Actually, your trick is very popular: it’s called a “telephoto” design. Bigger lens, same f-number.
If the lens mount allows for a maximum angle α for the light cone, then the fastest lens you can get will have an f-number equal to
N = 1/(2×sin(α/2))
or, equivalently, N = 1/(2×NA), where NA is the numerical aperture. This formula also shows the hard limit at 0.5: sin(α/2) cannot be larger than 1. Oh, BTW, if you try to derive this formula using small-angle approximations, you will get a tangent instead of a sine. Small-angle approximations are not good for very fast lenses: you should use the Abbe sine condition instead.
The same caveat about f-numbers v.s. T-numbers applies to this second limit. You can get a lens with an f-number smaller than 1/(2×sin(α/2)), but it will work as macro-only, and the bellows-corrected f-number will still be larger than the limit.
This section, added on Nov. 26, is intended for the mathematically inclined. Feel free to ignore it, as the relevant results are already stated above.
Here I assume that we use a lossless lens (i.e. it conserves luminance) to focus the light of an object of uniform luminance L into an image plane. The lens is surrounded by air (index 1), and we look at the light falling on an infinitesimal area dS about, and perpendicular to, the optical axis. This light lies inside a cone of opening α. We want to compute the illuminance delivered by the lens on dS.
In the figure below, the marginal rays, in green, define the light cone with opening α, while the chief rays, in red, define the target area dS.
diagram of lens http://edgar-bonet.org/misc/lens-speed.png
The etendue of the light beam illuminating dS is
dG = dS ∫ cosθ dω
where dω is an infinitesimal solid angle, and the integral is over θ ∈ [0, α/2]. The integral can be computed as
dG = dS ∫ 2π cosθ sinθ dθ
= dS ∫ π d(sin2θ)
= dS π sin2(α/2)
The illuminance at the image plane is then
I = L dG / dS = L π sin2(α/2)
We may now define the “speed” of the lens as its ability to provide image-plane illuminance for a given object luminance, i.e.
speed = I / L = dG / dS = π sin2(α/2)
It is worth noting that this result is quite general, as it does not rely on any assumptions about the imaging qualities of the lens, whether it is focused, aberrated, its optical formula, focal length, f-number, subject distance, etc.
Now I add some extra assumptions that are useful for having a meaningful notion of f-number: I assume that this is a good imaging lens of focal length f, f-number N and entrance pupil diameter p = f/N. The object is at infinity and the image plane is the focal plane. Then, the infinitesimal area dS on the image plane is conjugated with an infinitesimal portion of the object having a solid-angular size dΩ = dS/f 2.
Given that the area of the entrance pupil is πp 2/4, the etendue can be computed on the object side as
dG = dΩ π p 2 / 4
= dS π p 2 / (4 f 2)
= dS π / (4 N 2)
And thus, the speed of the lens is
speed = π / (4 N 2)
Equating this with the speed computed on the image side yields
N = 1 / (2 sin(α/2))
I should insist here on the fact that the last assumptions I made (the lens is a proper imaging lens focused at infinity) are only needed for relating the speed to the f-number. They are not needed for relating the speed to sin(α/2). Thus, there is always a hard limit on how fast a lens can be, whereas the f-number is only limited insofar as it is a meaningful way of measuring the lens’ speed.