Proper lower bound for free part 2