Proper lower bound for free