put upperbound for lambda