Русско-английский научно-технический словарь

должен быть

There are bound to be smaller orbiting objects in greater profusion.

A number of problems still remain to be solved.

Русско-английский научно-технический словарь