Giải thích các bước giải:
Ta có:
5^ 27 = 5^ 3.9 = (5 ^3 ) 9 = 125 ^9 <128^ 9 = 2 ^7.9 = (2 ^7 ) 9 = 2 ^63
suy ra: 5 ^27 <2 ^63 (1)
lại có;2 ^63 <2^ 64 = 2 ^16,4 = (2 ^16 ) 4 = 65536 ^4 <78125 ^4 = 5 ^7.4 = (5 ^7 ) 4 = 5 ^28
suy ra: 2 ^63 <2 ^64 <5 ^28
suy ra: 2 ^63 <5 ^28 (2)
từ (1) và (2) ta
5 ^27 <2 ^63 <5 ^28
suy ra: (đpcm)