import Mathlib

set_option maxHeartbeats 0

open BigOperators Real Nat Topology Rat

theorem mathd_algebra_484 :
  Real.log 27 / Real.log 3 = 3 := by sorry