くだらねぇ問題はここへ書け (899ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
845: １３２人目の素数さん [sage] 2025/06/28(土) 17:43:27.70 ID:eycWLZVV(1) AAS
その通り。訂正
5^c - 1 = 2^(b-c) - 5^c 10^(d-c)
v_2( 5^c - 1 ) = 2 + v_2(c) ≦ 2 + log_2(c) < 2 + log_2( log_5 b + 1 )
v_2( 2^(b-c) - 5^c 10^(d-c) ) ≧ min{ b-c, d-c } > (b-1) log_10 2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.414s*