computation.why 129 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10

theory T

use import int.Int
use import int.Power

goal g: power 2 3321941 < power 10 (power 10 6 + 4) < power 2 3321942 

end