В академической «Грамматике русского языка» (М., 1960. Т. 1) контекст с сочетанием снова застыл отнесен к примерам употребления обстоятельственных наречий (c. 628), из чего можно сделать вывод, что авторы грамматики причисляют это наречие к наречиям времени.
Запятые в скобках факультативны.
Верно: около трёх с половиной миллиардов лет и около 3,5 миллиарда лет (произносится около трех целых пяти десятых миллиарда лет).
Верно: стр. 3–5 или с. 3–5.
Правило также гласит, что перед буквами, передающими мягкие согласные, ь пишется только в тех случаях, когда в других формах того же слова или в однокоренных словах второй мягкий согласный становится твердым, а первый согласный сохраняет мягкость, напр.: возьми (ср. возьму), ведьме (ср. ведьма).
В слове осьминог представлен корень, который с исторической точки зрения полностью выглядит так: восем/восьм/осьм — восемь, восьмой, осьмушка, осьминог (различие в огласовке однокоренных осьм- и восьм- обусловлено тем, что в древнерусском языке перед ударным начальным о появлялся согласный в, а в старославянском языке слог оставался неприкрытым, в результате появляются пары осьмушка — восьмушка, отчий — вотчина, также после приставки на гласный: острый — навострить).
Таким образом, наличие слов осьмушка, восьмой, в которых второй согласный — [м] — становится твердым, а первый согласный — [c'] — сохраняет мягкость, убеждает, что в слове осьминог мягкий знак пишется в соответствии с правилом.
Такая пунктуация свидетельствует о том, что деепричастия журча и извиваясь образуют тесно связанную по смыслу пару, соединенную союзом и с деепричастным оборотом меж собой перекликаясь. См. подобные примеры в параграфе 13.8 справочника по пунктуации Д. Э. Розенталя.
В этом случае запятая не нужна.
Если константа С ранее не упоминалась в тексте, то необходимо сделать акцент вначале на существовании константы С, а затем на ее характеристиках, а значит, запятая нужна: ...для функции f существует константа C, [причем] такая, что выполняется соотношение... Если константа С ранее в тексте упоминалась, только ее характеристики были другими, то запятая не нужна: ...для функции f существует константа C такая, что выполняется соотношение...