I want to find out if $\frac{2^{256}}{1.158*10^{77}}$ is
a) $< 1$
b) $= 1$
c) $> 1$
What I tried so far
Thanks to the help of some comments that suggested to use $log$:
Upper bound for the top
With $log_{10} 2 = 0.30102... < 0.30103$ I can show that the top has an upper bound at
$256*log_{10} 2 < 256 * 0.30103 = 77.06368$
Lower bound for the bottom
With $log_{10} 1.158 = 0.063708... > 0.0637$ I can show that the bottom has a lower bound at
$log_{10} (1.158*10^{77})$ = $log_{10} (1.158)$ + $77$ $>$ $0.0637+77 = 77.0637$
Lets compare the bounds
$\frac{77.06368}{77.0637}$ so this would result in $< 1$
Is this enough?