prove size is bigOh fl_log
finished the big_oh proof for size_log_sq