Формула сокращения Лоренца это доказательство недоступности скорости света?

И да и нет.

Да - потому что формально - формально! - из этой формулы можно сделать именно такой вывод. Ведь при v=c знаменатель там превращается в ноль, и соответствующие величины теряют физический смысл.

Нет - потому что сама эта форму есть следствие постулатов Специальной теории относительности. Она скорее имллюстрирует оную невозможность, нежели выводит её. Невозвожность достичь скорости света следует из того, что по мере приближения скорости тела к скорости света начинает неограниченно возрастать его энергия, стремясь в пределе в бесконечности. То есть для достижения скорости света потребовалась бы бесконечно большая энергия - которую, понятное дело, просто неоткуда взять...