prove running time for baroque function

still need to do big_oh