G. Austria 2015 Problem 4

Show that every positive integer ending in $133$ in decimal representation has a prime factor larger than $7$.

import Mathlib.Algebra.Prime.Defs
import Mathlib.Algebra.Ring.Int.Defs

theorem solution (n : ℤ) (hn : 0 < n) (h133 : n % 1000 = 133) : ∃ p > 7, Prime p ∧ p ∣ n := sorry

Submit Solution

Login to submit a solution.

Recent Submissions