Лабы, оптимизация, Грибанова Екатерина Борисовна, поиск Больцано