N, M, C = gets.split.map(&:to_i)
A = gets.split.map(&:to_i)
B = gets.split.map(&:to_i)

cnt = 0
A.each do |a|
  idx = B.bsearch_index { |b| a * b > C } || M
  cnt += M - idx
end

puts Rational(cnt, N * M).to_f.round(12)