TODO for finding upper bound

Probably not gonna do that in this branch...