Lévy's modulus of continuity theorem (source code)

= Lévy's modulus of continuity theorem
{wiki=Lévy's_modulus_of_continuity_theorem}