Big_omega_notation loading ...