В академической «Грамматике русского языка» (М., 1960. Т. 1) контекст с сочетанием снова застыл отнесен к примерам употребления обстоятельственных наречий (c. 628), из чего можно сделать вывод, что авторы грамматики причисляют это наречие к наречиям времени.

Правило также гласит, что перед буквами, передающими мягкие согласные, ь пишется только в тех случаях, когда в других формах того же слова или в однокоренных словах второй мягкий согласный становится твердым, а первый согласный сохраняет мягкость, напр.: возьми (ср. возьму), ведьме (ср. ведьма).

В слове осьминог представлен корень, который с исторической точки зрения полностью выглядит так: восем/восьм/осьм — восемь, восьмой, осьмушка, осьминог (различие в огласовке однокоренных осьм- и восьм- обусловлено тем, что в древнерусском языке перед ударным начальным о появлялся согласный в, а в старославянском языке слог оставался неприкрытым, в результате появляются пары осьмушка — восьмушка, отчий — вотчина, также после приставки на гласный: острый — навострить).

Таким образом, наличие слов осьмушка, восьмой, в которых второй согласный — [м] — становится твердым, а первый согласный — [c'] — сохраняет мягкость, убеждает, что в слове осьминог мягкий знак пишется в соответствии с правилом.

Если константа С ранее не упоминалась в тексте, то необходимо сделать акцент вначале на существовании константы С, а затем на ее характеристиках, а значит, запятая нужна: ...для функции f существует константа C, [причем] такая, что выполняется соотношение... Если константа С ранее в тексте упоминалась, только ее характеристики были другими, то запятая не нужна: ...для функции f существует константа C такая, что выполняется соотношение...

В слове шесть буква с обозначает глухой мягкий согласный [c'] — это легко определяется на слух. Буква с обозначает звонкий согласный [з] перед следующими звонкими парными согласными: б (сбой), г (сгинуть), д (сдать), з (сзади).