What is the math behind Bilinear MIP Map Filtering / MIP Level?

Question

So here is the math for Linear MIP Map Filtering:

float mip_map_level(in float2 texture_coordinate) // in texel units
{
  float2  dx_vtc  = ddx(texture_coordi